Ubuntu-fr

DonutMan75

Code couleur dans bashrc ?

Bonjour,
dans mon .bashrc je vois que les couleurs sont définies avec des crochets comme défini ici :
Donc quelque chose qui ressemble à ça :

PS1="\[\033[34m\][\$(date +%H%M)][\u@\h:\w]$ "

Or sur cette autre page, les couleurs sont définies ainsi :

\033[XXm

Les crochets ont disparu ?!

Savez-vous quelle est la différence entre ces deux notations ?

Merci d'avance

D.

MicP

Re : Code couleur dans bashrc ?

Bonjour

Il s'agit de contextes différents => syntaxes différentes

Voir le retour des lignes de commande suivantes,
qui permettront de visualiser la page man de l'interpréteur de commandes bash
concernant ces deux différents contextes :

man --pager='less -p "^INVITES"' bash

dont voici un extrait :

…
              \[     débute une suite de caractères non imprimables, qui peuvent être utilisés pour inclure une suite
                     de caractères de contrôle du terminal dans l'interpréteur ;
              \]     finit une suite de caractères non imprimables.
…

et concernant la commande echo

man --pager='less -p "echo \["' bash

Voir aussi :

man console_codes

Dernière modification par MicP (Le 14/04/2019, à 17:23)