Le site web bebou.netlib.re - retour accueil
git clone git://bebou.netlib.re/bebou
Log | Files | Refs |
commit be4250e66021c4fbb7bc5f7f9423f901bf64d5cd parent 818bd8704b93c2daf919394213eea489fa1e8553 Auterice: Arthur Pons <arthur.pons@unistra.fr> Date: Sun, 28 Apr 2024 16:17:03 +0200 Meilleur sommaire et petite correction faq Diffstat:
| M | contents/faq/index.sh | | | 2 | +- |
| M | faq | | | 3 | ++- |
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/contents/faq/index.sh b/contents/faq/index.sh @@ -61,7 +61,7 @@ parenthèses est le comportement par défaut. S'il convient il suffit d'appuyer sur entrer pour passer à la suite. Sinon il faut soit même entrer ce que l'on souhaite. -Premièrement, l'emplacement de la clef. Ici `votre_utilisateur` est le nom de +Premièrement, l'emplacement de la clef. Ici `votre_utilisateurice` est le nom de votre compte sur votre machine perso. Vous devez rentrer le chemin vers la clef (le fichier) à créer. Si c'est votre première clef ssh vous pouvez simplement appuyer sur entrer. Sinon j'imagine que vous savez un peu ce que vous faites, entrez diff --git a/faq b/faq @@ -13,7 +13,8 @@ grep -E "^##+" "$FILE" > $the/titles grep -v '^$' | cut -d'"' -f2 | sed -E 's/^/(#/;s/$/)/' > $the/slugs -sed -E 's/#/ /g;' $the/titles | +sed -E 's/^##/ /g;' $the/titles | + sed -E 's/#/ /g' | sed -E 's/ (\w)/[\1/;s/$/]/' | sed -E 's/([^* ])/* \1/' | paste - $the/slugs |