Différences

Ci-dessous, les différences entre deux révisions de la page.

--- informatique:git [27/11/2024 12:38] – cyrille
+++ informatique:git [01/02/2026 09:50] (Version actuelle) – [Remove file from git] cyrille
@@ Ligne 20: / Ligne 20: @@
 Git commands tips:
-  * https://dev.to/jagroop2001/20-git-command-line-tricks-every-developer-should-know-1i21?bb=184181
+  * https://dev.to/jagroop2001/20-git-command-line-tricks-every-developer-should-know-1i21
 ===== Credentials =====
@@ Ligne 236: / Ligne 236: @@
 Delete remote:
   git push origin --delete <branchName>
+Des branches supprimées (local & remote) apparaissent toujours:
+<code>
+$ git branch -a
+* main
+  remotes/origin/23_local_notification
+  remotes/origin/25_adaptative_ux
+  remotes/origin/2_homewidget
+  remotes/origin/45_funny_ui
+  remotes/origin/dusks-favorite-4
+  remotes/origin/main
+$ git remote prune origin --dry-run
+Élimination de origin
+URL : git@framagit.org:Cyrille37/wp-did-you-know-flutter.git
+ * [élaguerait] origin/23_local_notification
+ * [élaguerait] origin/25_adaptative_ux
+ * [élaguerait] origin/2_homewidget
+ * [élaguerait] origin/dusks-favorite-4
+$ git remote prune origin
+Élimination de origin
+URL : git@framagit.org:Cyrille37/wp-did-you-know-flutter.git
+ * [élagué] origin/23_local_notification
+ * [élagué] origin/25_adaptative_ux
+ * [élagué] origin/2_homewidget
+ * [élagué] origin/dusks-favorite-4
+$ git branch -a
+* main
+  remotes/origin/45_funny_ui
+  remotes/origin/main
+</code>
+=== Remove file from git ===
+Supprimer des fichiers du dépôt git sans les supprimer localement. Mais ça ne les enlève pas de l'historique.
+<code>
+$ git rm --cached -r .opencode/
+$ git status
+Fichiers non suivis:
+  (utilisez "git add <fichier>..." pour inclure dans ce qui sera validé)
+	.opencode/
+</code>
 === Log & graph ===