Tag: gitignore

  • gitignore: un filtro per escludere i file da non versionare in un repository git

    Prima di fare un push su un repository git è importante avere configurato il gitignore, ovvero specificare quali files non devono essere versionati in un repository git. A titolo di esempio: i file .pyc, o più in generale i prodotti della compilazione di un qualsiasi file di sorgente; versionare questi files, infatti, non ha senso.

    Per fare in modo che git eviti di versionare certi tipi di files, creiamo un file .gitignore dentro la nostra $HOME, ed  il gioco è fatto. Se volete partire da un esempio già realizzato, includo qui il mio gitignore.

    michele@delta:~ % cat ~/.gitignore
    # Compiled source #
    ###################
    *.com
    *.class
    *.dll
    *.exe
    *.o
    *.so

    # Packages #
    ############
    # it’s better to unpack these files and commit the raw source
    # git has its own built in compression methods
    *.7z
    *.dmg
    *.gz
    *.iso
    *.jar
    *.rar
    *.tar
    *.zip

    # Logs and databases #
    ######################
    *.log
    *.sql
    *.sqlite

    # OS generated files #
    ######################
    .DS_Store*
    ehthumbs.db
    Icon?
    Thumbs.db