From: Charles Plessy Date: Wed, 16 Aug 2023 05:07:39 +0000 (+0900) Subject: Essai pour aider à éditer le fichier PO à la main. X-Git-Url: https://source.charles.plessy.org/?a=commitdiff_plain;h=2c91b38fc74941e544b7fc4417a3f640ed2569a7;p=source%2F.git Essai pour aider à éditer le fichier PO à la main. --- diff --git "a/Debian/debi\303\242neries/git-clean.mdwn" "b/Debian/debi\303\242neries/git-clean.mdwn" index 821db083..931d34c6 100644 --- "a/Debian/debi\303\242neries/git-clean.mdwn" +++ "b/Debian/debi\303\242neries/git-clean.mdwn" @@ -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.