Résultats plein texte:

redirection_stdin_stdout_stderr

3 Occurrences trouvées, Dernière modification : il y a 3 ans

ils à propos des descripteurs de fichiers voir la note file descriptors. <note> Bash a également un descripteur 255 supplémentaire pointant sur le terminal d... cho "Bonjour $USER" >&255 Bonjour yoann </code> </note> La redirection des entrées sorties consistera à

aide_manuel

2 Occurrences trouvées, Dernière modification : il y a 3 ans

manuel sont installées sous **/usr/share/man** <note> Certaines pages de manuel sont contenues dans de... -free** pour être disponibles à l'installation. </note> Liste des paquets contenant des pages de manuel

debogage

2 Occurrences trouvées, Dernière modification : il y a 3 ans

Il s'appuie sur une option de Bash (extdebug). <note> Sur les versions récentes d'Ubuntu le programme ... orge.net/p/bashdb/code/ci/bash-5.1/tree/INSTALL </note> ===== Références ===== https://tldp.org/LDP/B

generer_nombre_aleatoire

2 Occurrences trouvées, Dernière modification : il y a 5 ans

{ echo $(( $RANDOM % ( $1 + 1 ) )) } </code> <note> On fait ici le choix d'écrire sur la sortie stan... taxe de substitution de commande : **$( ... )** </note> <code bash> n1=$( alea 100 ) n2=$( alea 33 ) e

indirection

2 Occurrences trouvées, Dernière modification : il y a 5 ans

eval echo \${$repertoire} /home/yoann </code> <note> Cette opération en programmation s’appelle une *... tution de la variable var avec une indirection. </note> En Bash, pour faire un accès par indirection, o

usage_guillemets

1 Occurrences trouvées, Dernière modification : il y a 3 ans

O_DOCUPDATE: ====== Usage des guillemets ====== Notes et exemples d'usages des guillemets simples ou d