informatique:linux:bash
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
informatique:linux:bash [2020/11/12 15:00] – [Rappels et substitutions] pteu | informatique:linux:bash [2020/11/18 15:34] – [Options] -e pteu | ||
---|---|---|---|
Line 85: | Line 85: | ||
Les options de bash peuvent se modifier au lancement sous forme de paramètre ('' | Les options de bash peuvent se modifier au lancement sous forme de paramètre ('' | ||
+ | ====-e==== | ||
+ | |||
+ | bash se termine lorsqu' | ||
+ | Cependant ça ne marche pas correctement avec certaines commandes comme grep, qui retourne 1 s'il ne matche pas (ce qui n'est certainement pas une erreur qui vaut le coup que l'on stoppe le script). Alors, comme indiqué dans [[https:// | ||
+ | * soit on gère l' | ||
+ | * soit, plus compliqué mais plus pertinent, on créé une fonction " | ||
+ | <code bash> | ||
+ | #!/bin/bash -e | ||
+ | function grep () { | ||
+ | local exit_code | ||
+ | command grep " | ||
+ | return $(( exit_code == 1 ? 0 : exit_code )) | ||
+ | } | ||
+ | grep PATTERN FILE # won't kill script if no matches are found | ||
+ | </ | ||
+ | Rappel : '' | ||
=====Debugger un script===== | =====Debugger un script===== |
informatique/linux/bash.txt · Last modified: 2023/01/09 10:52 by pteu