Bash: mon prompt

🗝️
✒️
🏗️

Deprecated: array_key_exists(): Using array_key_exists() on objects is deprecated. Use isset() or property_exists() instead in /srv/ruban.stephanemourey.fr/src/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1530

Deprecated: array_key_exists(): Using array_key_exists() on objects is deprecated. Use isset() or property_exists() instead in /srv/ruban.stephanemourey.fr/src/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1530

Deprecated: array_key_exists(): Using array_key_exists() on objects is deprecated. Use isset() or property_exists() instead in /srv/ruban.stephanemourey.fr/src/vendor/twig/twig/lib/Twig/Extension/Core.php on line 1530
PS1="\D{%F %T} 💻 \w \$ "

À placer dans le .bashrc ou le .bash_profile selon le cas. On remplacera le caractère utf-8 pour donner une indication immédiatement visuelle de la machine sur laquelle on se trouve.

Pour un serveur de production, on pourra utiliser la variante :

PS1="\e[38;5;196mNOM_PROD \D{%F %T} 🏭 \w \$ "

qui écrira en rouge, plutôt que la couleur par défaut. Source