Supprimer un fichier d'un référentiel Git sans le supprimer du système de fichiers local
-
Editer le fichier .gitignore.
echo mylogfile.log >> .gitignore -
Supprimer tous les éléments de l'index.
git rm -r -f --cached . -
Reconstruire l'index.
git add . -
Faire un nouveau commit
git commit -m "Removed mylogfile.log"
20 février 2023 - Wakonda - Github
Sources
Commentaires
Ajouter un commentaire
0 commentaires
Rechercher
Tags
Articles récents
- PHP - Récupérer un élément aléatoirement dans un tableau
- Supprimer les valeurs en double d'un tableau en JS
- JS - Remplacer toutes les occurrences d'une chaîne
- PHP - Différences en require_once , include_once, require et include
- PHP - à quoi sert le symbole "??"
- "error:0308010C:digital envelope routines::unsupported"
- JS - Cacher tous les éléments d'une classe spécifique
- Démarrer et arrêter PostGreSQL en ligne de commande
- Docker - Supprimer les images inutilisées
- MySQL - Récupérer toutes les clés étrangères d'une colonne