powerline ; afficher le hostname local

Support Debian
#1

Bonjour,

Je trouve pas de solution pour afficher le hostname.
Je ne trouve pas quel fichier de config éditer ni quoi mettre
dans la doc ça correspond à " powerline.segments.common.net.hostname(exclude_domain=False, only_if_ssh=False)"

https://powerline.readthedocs.io/en/2.5.1/configuration/segments/common.html#module-powerline.segments.common.sys

j’ai cherché un peu partout mais rien même après « powerline-daemon --replace »
j’ai tenté de modifier directement /usr/share/powerline/config_files/themes/shell/default.json mais sans succès

#2

salut,
que donne la commande

hostname

et

hostname -f

mais aussi, que contiennent les fichiers suivants:

/etc/hostname
/etc/hosts
#3

Bonjour

Tu peux aussi lire les pages de manuel de la commande hostname et du fichier /etc/hosts
en entrant les lignes de commandes suivantes :

man hostname

man hosts
#4

merci mais ma question concerne powerline

#5

Si c’est le nom hostname local que tu veux faire s’afficher,
il y a peut-être une solution dans la page web suivante :

#6

bien vu :+1:

ça fonctionne mais je ne comprends toujours la logique
J’ai fait quelques test et j’arrive à la conclusion qu’il suffit de créer le fichier
$HOME/.config/powerline/themes/shell/__main__.json

{
   "segment_data": {
     "hostname": {
       "args": {
         "only_if_ssh": false
       }
     }
   }
 }

peut être que l’autre fichier est utile dans d’autre cas.
la modification est prise en compte instantanément, pas besoin de lancer ’ powerline-daemon --replace’