Au revoir make clean

diff --git a/Debian/debiâneries/git-clean.mdwn b/Debian/debiâneries/git-clean.mdwn
new file mode 100644 (file)
index 0000000..df6e729
--- /dev/null
+++ b/Debian/debiâneries/git-clean.mdwn
@@ -0,0 +1,16 @@
+[[!meta date="
+Wed, 16 Aug 2023 13:32:11 +0900
+"]]
+[[!meta updated="
+Wed, 16 Aug 2023 13:32:11 +0900
+"]]
+[[!tag Debian]]
+
+[[!meta title="J'ai oublié « make clean »."]]
+
+Je ne me souviens plus de la dernière fois où j'ai utilisé la commande `make
+clean`.  Si j'empaquète pour Debian, le travail se fait dans un dépôt _git_, et
+j'utilise les commandes `git clean -fdx ; git checkout .` que je peux rappeler
+depuis mon historique des commandes via `Ctrl-r` la plupart du temps.  Et dans
+les autres cas, si les sources ne sont pas déjà dans _git_, alors les commandes
+`git init . ; git add . ; git commit -m 'hopla'` règlent le problème.