]> source.charles.plessy.org Git - source++/.git/commitdiff
Essai pour aider à éditer le fichier PO à la main.
authorCharles Plessy <charles@bubu.igloo>
Wed, 16 Aug 2023 05:07:39 +0000 (14:07 +0900)
committerCharles Plessy <charles@bubu.igloo>
Wed, 16 Aug 2023 05:07:39 +0000 (14:07 +0900)
Debian/debiâneries/git-clean.mdwn

index 821db083813b3ef8e2ef17667bf063cbdff5b2d5..931d34c692a24dd697fa9b1026ec5a01acaa5213 100644 (file)
@@ -5,8 +5,5 @@
 [[!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.
+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.