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 | ||
astuce:redirection_bash [2024/01/19 14:51] – Thomas | astuce:redirection_bash [2024/01/19 14:53] (Version actuelle) – Thomas | ||
---|---|---|---|
Ligne 1: | Ligne 1: | ||
====== Faire des redirections bash ====== | ====== Faire des redirections bash ====== | ||
- | stdin = entrée | + | stdin = entrée\\ |
- | stdout = sortie normale | + | stdout = sortie normale |
- | stderr = erreur | + | stderr = erreur |
< | < | ||
Ligne 15: | Ligne 15: | ||
< | < | ||
- | Enregistre stdout et stderr dans la variable $result. Il n'est pas possible de stocker directement stderr d'où la redirection vers stdout. | + | Enregistre stdout et stderr dans la variable $result. Il n'est pas possible de stocker directement stderr |
< | < | ||
Enregistre uniquement stderr dans la variable $err et affiche stdout sur la console. Il est nécessaire de rediriger stdout vers &3 pour ne conserver que les errreurs dans &1. Puis à la fin on redirige &3 vers &1. | Enregistre uniquement stderr dans la variable $err et affiche stdout sur la console. Il est nécessaire de rediriger stdout vers &3 pour ne conserver que les errreurs dans &1. Puis à la fin on redirige &3 vers &1. |