Retourner au contenu associé (journal : bake : scripter en bash à la « makefile »)
Posté par gUI (Mastodon) le 15 novembre 2025 à 10:03. En réponse au journal bake : scripter en bash à la « makefile ». Évalué à 6.
perso j'utilise le Bash strict mode : -euo pipefail
-euo pipefail
sinon pour le rm l'option -f permet d'éviter de sortir en erreur si les fichiers sont inexistants.
rm
-f
$ rm /toto rm: impossible de supprimer '/toto': Aucun fichier ou dossier de ce nom $ echo $? 1 $ rm -f /toto $ echo $? 0
En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: un exemple de la vraie vie
Posté par gUI (Mastodon) . En réponse au journal bake : scripter en bash à la « makefile ». Évalué à 6.
perso j'utilise le Bash strict mode :
-euo pipefailsinon pour le
rml'option-fpermet d'éviter de sortir en erreur si les fichiers sont inexistants.En théorie, la théorie et la pratique c'est pareil. En pratique c'est pas vrai.