From: Charles Plessy Date: Wed, 16 Aug 2023 04:41:11 +0000 (+0900) Subject: Au revoir make clean X-Git-Url: https://source.charles.plessy.org/?a=commitdiff_plain;h=f82ec700dfcd7fbcb03b87da6fd3183069c669e9;p=setup%2F.git Au revoir make clean --- diff --git "a/Debian/debi\303\242neries/git-clean.mdwn" "b/Debian/debi\303\242neries/git-clean.mdwn" new file mode 100644 index 00000000..df6e7299 --- /dev/null +++ "b/Debian/debi\303\242neries/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.