tech:script_bash_fonctions_envrac
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédente | ||
| tech:script_bash_fonctions_envrac [2026/06/30 21:52] – Jean-Baptiste | tech:script_bash_fonctions_envrac [2026/09/17 12:25] (Version actuelle) – Jean-Baptiste | ||
|---|---|---|---|
| Ligne 44: | Ligne 44: | ||
| - | exit_si_erreur(){ | + | exit_si_erreur() { |
| if [ $1 != 0 ] | if [ $1 != 0 ] | ||
| then | then | ||
| Ligne 364: | Ligne 364: | ||
| ~~~bash | ~~~bash | ||
| cat <<EOF | bash -s -- | cat <<EOF | bash -s -- | ||
| - | same_uid_for_Utilisateur_and_utilisateur() | + | same_uid_for_Utilisateur_and_utilisateur() { |
| - | { | + | |
| local -i RET=0 | local -i RET=0 | ||
| local -i UID_Utilisateur=$(id -u Utilisateur) | local -i UID_Utilisateur=$(id -u Utilisateur) | ||
| Ligne 398: | Ligne 397: | ||
| ~~~bash | ~~~bash | ||
| - | waitpid() | + | waitpid() { |
| - | { | + | |
| while ps -p $1 >/ | while ps -p $1 >/ | ||
| do | do | ||
| Ligne 490: | Ligne 488: | ||
| - | Note : [[https:// | + | Note : [NOP](https:// |
| ~~~bash | ~~~bash | ||
| true | true | ||
tech/script_bash_fonctions_envrac.1782849125.txt.gz · Dernière modification : de Jean-Baptiste