Il y a les pages du manuel du shell bash,
et pour aller directement à la page du manuel concernant les redirections,
tu peux lancer la ligne de commande suivante :
man --pager='less -p "^REDIRECTIONS"' bash
Concernant les pipes,
la variable du shell bash PIPESTATUS pourrait aussi t'intéresser.
[^] # Re: Top merci
Posté par MicP . En réponse au message Incompréhension des pipes sur Linux. Évalué à 2. Dernière modification le 02 septembre 2024 à 06:14.
Bonjour
Il y a les pages du manuel du shell bash,
et pour aller directement à la page du manuel concernant les redirections,
tu peux lancer la ligne de commande suivante :
Concernant les pipes,
la variable du shell bash PIPESTATUS pourrait aussi t'intéresser.
Voir aussi : Introduction à la programmation en Bash (Eric Sanchis)
Un lien vers la page concernant les redirections : Chapitre 5. Redirections élémentaires
... et dans ce royaume, ceux qui y voient un peu plus clair sont parfois très mal vus.