Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
doc:programmation:bash:config [16/08/2023 00:31] Switch [Configuration utilisateur] Exemple de prompt PS1 du bash coloré |
doc:programmation:bash:config [16/08/2023 01:05] (Version actuelle) Switch [Configuration utilisateur] ajout image exemple prompt coloré |
||
---|---|---|---|
Ligne 212: | Ligne 212: | ||
<note tip>Il est possible de configurer son prompt avec des éléments et des couleurs de votre choix. Il suffit de configurer la variable $PS1 vous même dans votre fichier de configuration .bashrc. Exemple :<file config nom> | <note tip>Il est possible de configurer son prompt avec des éléments et des couleurs de votre choix. Il suffit de configurer la variable $PS1 vous même dans votre fichier de configuration .bashrc. Exemple :<file config nom> | ||
PS1='\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$' | PS1='\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$' | ||
- | </file> [[https://www.howtogeek.com/307701/how-to-customize-and-colorize-your-bash-prompt/|Article détaillant les codes couleurs et élements possibles]] , ou un générateur de prompt en ligne, pratique : [[https://ezprompt.net/|https://ezprompt.net/]] </note> | + | </file> {{/file-R71cdd53a1ad2a7e72584f602d833b88e.png}} [[https://www.howtogeek.com/307701/how-to-customize-and-colorize-your-bash-prompt/|Article détaillant les codes couleurs et éléments possibles]] , ou un générateur de prompt en ligne, pratique : [[https://ezprompt.net/|https://ezprompt.net/]] </note> |