From 90d2ed30466865fe749ecd5b830e417c2d257d1b Mon Sep 17 00:00:00 2001 From: Charles Plessy Date: Wed, 16 Aug 2023 13:56:02 +0900 Subject: [PATCH] Saut de ligne. --- "Debian/debi\303\242neries/git-clean.mdwn" | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git "a/Debian/debi\303\242neries/git-clean.mdwn" "b/Debian/debi\303\242neries/git-clean.mdwn" index df6e7299..821db083 100644 --- "a/Debian/debi\303\242neries/git-clean.mdwn" +++ "b/Debian/debi\303\242neries/git-clean.mdwn" @@ -1,15 +1,11 @@ -[[!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 -- 2.47.3