Come cancellare file elencati in .gitignore ma dopo averli già committati

Lo so, lo so cosa vi starete chiedendo: ma cosa sta dicendo questo?

Beh, purtroppo è una cosa che può capitarvi quando siete alle prime armi con git. Se avete già fatto commit di file che non erano ancora presenti nel file .gitignore, l’unica cosa (in realtà ce ne sono parecchie, ma questa è la più veloce) che potete fare è:

git rm -r --cached .
git add .

git commit -am "Remove ignored files"
git push

E voilà, i file che avete ignorato (o che d’ora in poi ignorerete), ora sono stati cancellati, committati e pushati dalla vostra repository.

Photo by Yancy Min on Unsplash

Come cancellare tutti i file con estensione con uno script Bash

Ad esempio se volete cancellare tutti i file con estensione .tar.gz vi basterà creare un file Bash facendo:

sudo nano script.sh

E incollate dentro:

#!/bin/bash

find /path/ -name '*.tar.gz' -delete

Poi dategli i permessi di esecuzione con sudo chmod 777 script.sh, eseguitelo con ./script.sh e il gioco è fatto!

Fate attenzione (ovviamente) perché vi cancellerà tutti i file con quell’estensione in pochi istanti.