]> source.charles.plessy.org Git - source++/.git/commitdiff
Saut de ligne.
authorCharles Plessy <charles@bubu.igloo>
Wed, 16 Aug 2023 04:56:02 +0000 (13:56 +0900)
committerCharles Plessy <charles@bubu.igloo>
Wed, 16 Aug 2023 04:56:02 +0000 (13:56 +0900)
Debian/debiâneries/git-clean.mdwn

index df6e72994292467933878b4bc4e842e4c4b0b736..821db083813b3ef8e2ef17667bf063cbdff5b2d5 100644 (file)
@@ -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