Version imprimable
Bonjour,
Je souhaite supprimer un repertoire ou fichier present dans mon repos git sans le supprimer de mon ordinateur en local.
Comment faire ? Je ne trouve pas la commande.
Je ne parle de faire un gitignore qui consiste a ignorer un element à envoyer au repos
Merci
C'est un peu contradictoire avec le principe de fonctionnement de git non ? Si des changements existent dans le dépôt distant, dès que tu vas faire un git pull, tu vas les ramener en local.
Mais bon, une possibilité c'est de faire la suppression en local, de commiter puis pousser les changements sur le dépôt distant, et ensuite d'annuler le commit en local.
Bonjour
Cette discussion pourrait peut-être t'aider : https://itextpdf.com/en/blog/technic...git-repository
Le truc étant, je suppose, de le supprimer de l'intégralité de ton repo et pas seulement de la dernière version... Sinon, un bête git rm -f ferait l'affaire.
En mode ultra simple : tu supprimes totalement le repo et tu le refais.
En mode complexe; j'ai déjà vu passer une information selon laquelle il y a quelques commandes (ésotériques) qui permettraient de supprimer un fichier dans tous les versions / branches d'un repo mais je n'ai pas fait l'effort de les retenir.
Patience.
Bonne chance.
Merci pour le lien et vos conseils je pense que c'est moi qui utilise mal git.
Pourquoi je cherche a faire ça, car je n'ai pas fait un gitignore pour commencer.
Je me suis trompé j'ai push un repertoire que je ne voulais pas et je voulais le supprimer sans le perte de mon espace local.
Le plus simple serait de déplacer ton dossier ailleurs sur ton disque (pour git c'est comme si tu l'avais supprimer). Tu fais un commit de cette version sans le dossier puis en local tu remets ton dossier et surtout tu l'ignores avec un gitignore.Citation:
Envoyé par tOzeurIMek
Bonjour,
J'espère ne pas intervenir trop tardivement.
:alerte: Attention, ces commandes sont destructrices. Si vous vous trompez, il sera difficile de revenir en arrière.
:alerte:
Pour supprimer un fichier de l'historique du GIT :
Pour pousser cela sur le dépôt distant :Code:git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch MONFICHIER' --prune-empty --tag-name-filter cat -- --all
Code:git push --all --force