Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédente | Dernière révisionLes deux révisions suivantes | ||
astuce:redirection_bash [2024/01/19 14:51] – Thomas | astuce:redirection_bash [2024/01/19 14:51] – 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 | ||