8 points par xguru 2021-06-25 | 1 commentaires | Partager sur WhatsApp
  • Créer une invite de terminal .bashrc/PS1 en glisser-déposer

→ générée avec aperçu et instruction export

  • hostname, nom d’utilisateur, nom du shell, terminal, répertoire, répertoire (basename), statut de sortie

  • Divers formats d’heure / date

  • Possibilité de choisir la couleur de chaque élément (double-clic)

1 commentaires

 
xguru 2021-06-25

À l’inverse, il existe aussi un outil qui vous permet d’entrer votre propre PS1, de l’analyser et de vous offrir la possibilité d’en ajuster les détails.