arthur.bebou

Le site arthur.bebou.netlib.re - retour accueil

git clone git://bebou.netlib.re/arthur.bebou

Log | Files | Refs |

commit 0498f1d6974959f254c33d0704e3753f8d0b7c0c
parent ba66952e3fef7b2624f46999741276c57369c456
Auteurice: Arthur Pons <arthur.pons@unistra.fr>
Date:   Thu, 15 May 2025 12:43:54 +0200

On continue d'avancer

Diffstat:
Mcontents/avoid-software-commentaires/index.sh | 42+++++++++++++++++++++++++++++++++++-------
1 file changed, 35 insertions(+), 7 deletions(-)

diff --git a/contents/avoid-software-commentaires/index.sh b/contents/avoid-software-commentaires/index.sh @@ -639,10 +639,10 @@ Une version plus robuste et portable serait donc : while true; do for file in ./$printinbox*.pdf ;do - if [ -e "$file" ];then - printf "on copie %s dans %s\n" "$file" "$archivebox" - mv "$file" "$archivebox" # copy in outbox (archives) - fi + if [ -e "$file" ];then + printf "on copie %s dans %s\n" "$file" "$archivebox" + mv "$file" "$archivebox" # copy in outbox (archives) + fi done i="$interval" @@ -654,6 +654,11 @@ Une version plus robuste et portable serait donc : done done +L'option POSIX `-p` de `mkdir` permet à `mkdir` de créer un chemin complet +`truc/machin/bidule` sns avoir à créer chaque dossier et sous-dossier un à un. +Aussi elle permet à `mkdir` de ne pas renvoyer d'erreur si le dossier existe +déjà. Dans de nombreux cas le comportement induit par `-p` est celui souhaité. + Une version récursive pourrait être : Reste à trouver @@ -678,11 +683,34 @@ Pour inclure les fichiers cachés il faut ajouter d'autres globs : ./fichier_pas_secret ./.fichier_secret -## Faire des scripts +## Faire des scripts et en faire une commande + +Chaque commande que l'on a vu jusque là est reproductible et appelable depuis +n'importe où dans votre système sous forme de script. Pour créer un script nommé +`rmspace` depuis une commande il faut : + + 1. Créer un fichier texte nommé `rmspace` + 2. Y mettre, *en toute première ligne*, `#!/bin/sh` puis la commande que l'on + souhaite exécuter + 3. Enregistrer le fichier texte + 4. Le rendre exécutable avec `chmod +x /chemin/vers/le/fichier` + +A ce stade le script peut être appelé en appelant directement son chemin de +manière non ambigue. Si le script se trouve dans le dossier courant : + + $ ./script + +Si vous voulez y avoir accès n'importe où comme si c'était une commande à part +entière il faut l'"installer" dans un dossier de votre `$PATH`. Dans l'immense +majorité des cas le copier dans `/usr/local/bin` convient : + + $ cp ./rmspace /usr/local/bin + +Vous pouvez ensuite l'appeler directement avec son nom : -Expliquer comment faire des scripts de tout ça et comment les "installer". + $ rmspace -## Au sujet du nom +## Au sujet du nom du zine Juste une remarque au sujet du fait que l'on évite pas de logiciel mais on substitut du logiciel. Il est intéressant de se demander pourquoi on considère