Rimozione di file ignorati da git
Se ti sei mai trovato nella situazione in cui i file o le directory già archiviati in git dovrebbero essere rimossi, c'è un singolo comando che fa esattamente questo. Questo comando evita di eliminare i dati, esegue il commit dell'eliminazione e aggiunge di nuovo gli stessi dati in seguito.
# In this example, the 'bin'-directory
# gets removed from git. Note that this
# operation doesn't remove the file
# itself, only its reference in git.
git rm -r --cached bin
# Same command, for the file 'log.ts'.
git rm -r --cached log.ts
Funziona anche per i dati già registrati
Questo comando rimuove anche il file o la directory specifici dal git-tree se i dati sono stati aggiunti prima di essere definiti nel file gitignore. Ovviamente, il file o la directory reale non verranno eliminati, solo il suo riferimento in git.
