Ignorare dei files in git: Difference between revisions
Jump to navigation
Jump to search
m Created page with "* 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 * Se un …" |
mNo edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 5: | Line 5: | ||
path/to/file | path/to/file | ||
*.log | *.log | ||
* Per ignorare intere dicrectries: | |||
__pycache__/ | |||
* Se un files è stato erroneamente aggiunto al versioning, è possibile eliminarlo con | * Se un files è stato erroneamente aggiunto al versioning, è possibile eliminarlo con | ||
| Line 13: | Line 16: | ||
==Riferimenti== | ==Riferimenti== | ||
*[http://unknown-xengineer.blogspot.it/2012/06/etckeeper-howto.html Just in case I forget: etckeeper howto] | |||
*[http://help.github.com/ignore-files/ Help.GitHub - Ignore files] | *[http://help.github.com/ignore-files/ Help.GitHub - Ignore files] | ||
*[http://help.github.com/remove-sensitive-data/ Help.GitHub - Remove sensitive data] | *[http://help.github.com/remove-sensitive-data/ Help.GitHub - Remove sensitive data] | ||
Latest revision as of 15:22, 14 June 2023
- 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