Ignorare dei files in git
- Se si vogliono ignorare dei files, creare nel repository il file:
vi .gitignore
- Inserirvi i percorsi dei files da ignorare o i glob patterns:
path/to/file *.log
- Per ignorare intere dicrectries:
__pycache__/
- Se un files è stato erroneamente aggiunto al versioning, è possibile eliminarlo con
git rm --cached filename
- in questo modo il file rimarrà fisicamente presente, e sarà possibile aggiungerlo alla lista di quelli ignorati
- Per rimuovere un file dalla history, vedi Help.GitHub - Remove sensitive data