Activité-Paranormale


Red devil Information

Publicité

Rechercher

Développement

Apportez vos talents de codeur !

Développer

Citations

Random quotation
La diplomatie, c'est faire et dire les plus vilaines choses de la manière la plus élégante.
(Isaac Goldberg)

Événements - 5 avril

Event Calendrier

Validation

Valid XHTML 1.0 Transitional Valid CSS!

Crystal ballTour de magie

AbductionSupprimer un fichier d'un référentiel Git sans le supprimer du système de fichiers local

  1. Editer le fichier .gitignore.

    echo mylogfile.log >> .gitignore
  2. Supprimer tous les éléments de l'index.

    git rm -r -f --cached .
  3. Reconstruire l'index.

    git add .
  4. Faire un nouveau commit

    git commit -m "Removed mylogfile.log"

Sources


Github - CC BY 2.5


Publicité