Activité-Paranormale

Red devil Information

Rubrique

Art / Culture

Participer

Publicité

Partenaire

Rechercher

Développement

Apportez vos talents de codeur !

Développer

Citations

Random quotation
Il faut avoir l'humilité d'écouter la voix des autres et plutôt que d'en comparer le timbre et la mélodie avec la nôtre, il faut l'entendre par ce qu'elle dit.
(Jean-Marie Adiaffi)

Événements - 17 août

Event Calendrier

Validation

Valid XHTML 1.0 Transitional Valid CSS!
Annuaire

Crystal ballTour de magie

Magic trick

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é