From: Charles Plessy Date: Wed, 16 Aug 2023 04:56:02 +0000 (+0900) Subject: Saut de ligne. X-Git-Url: https://source.charles.plessy.org/?a=commitdiff_plain;h=90d2ed30466865fe749ecd5b830e417c2d257d1b;p=source--%2F.git Saut de ligne. --- 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