-[[!meta date="
-Wed, 16 Aug 2023 13:32:11 +0900
-"]]
-[[!meta updated="
-Wed, 16 Aug 2023 13:32:11 +0900
-"]]
+[[!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
+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