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.