From 571875ea1ce5833a38bfb7b52eba3b18f077cc8a Mon Sep 17 00:00:00 2001 From: Yorick Barbanneau Date: Wed, 16 Nov 2022 16:28:27 +0100 Subject: [PATCH] More corrections (thanks to my friends) --- content/articles/2022/bash_les_pieges/index.md | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/content/articles/2022/bash_les_pieges/index.md b/content/articles/2022/bash_les_pieges/index.md index c6634a9..0f79e94 100644 --- a/content/articles/2022/bash_les_pieges/index.md +++ b/content/articles/2022/bash_les_pieges/index.md @@ -126,7 +126,7 @@ appelle la commande `cleanup` lorsque le signal `EXIT` est envoyé. Ensuite, si l'argument `error` est passé à notre script, `launch_command` est exécutée mais sans paramètre, ce qui ga générer une erreur. -Enfin notre script exécute 5 fois en boucle la fonction `laucun_command` qui +Enfin notre script exécute 5 fois en boucle la fonction `launch_command` qui se charge d'afficher un petit message sur la machine distante en utilisant la connexion SSH créée dans notre fonction `connect`. @@ -328,17 +328,17 @@ Et continuer son exécution ensuite. ## En conclusion -Tout au long ce cet article, nous avons vu ce qu'est un signal et comment en -intercepter un (et même plusieurs) dans un script écrit en Bash. Bien entendu il -est possible d'utiliser les signaux dans d'autre langages, la façon de procéder -est similaire. +Tout au long de cet article, nous avons vu ce qu'était un signal et comment en +intercepter dans un script écrit en Bash. Bien entendu il est possible +d'utiliser les signaux dans d'autre langages, la façon de procéder est +similaire. **Le nettoyage des traces laissées par un script** est la principale utilisation documentée ci-et-là dans différents tutoriaux. Mais les possibilités offertes par ce système de communication inter-processus dans vos script **vont bien au -delà de ce simple usage**. J'espère vous l'avois montré ici. +delà de ce simple usage**. ## Crédits -L'image en entête de cet article est tirée du film *Star Wars, le retour du -Jedi* © Lucasfilms Ltd, Disney +L'image en entête est tirée du film *Star Wars, le retour du Jedi* © Lucasfilms +Ltd, Disney