Existe-t-il un moyen d'appliquer automatiquement un profil de terminal lorsqu'il est connecté à une machine distante via SSH?
Je voudrais des indices visuels plus évidents que je suis connecté à une machine distante que l'utilisateur / hôte affiché sur chaque ligne de terminal. Je passe la majeure partie de ma journée connectée à plusieurs machines et cela peut devenir déroutant.
command-line
ssh
gnome-terminal
Jeremy Kauffman
la source
la source
Réponses:
Srigelsford des forums Ubuntu recommande ceci:
la source
Vous pouvez modifier le profil de shell du système distant pour utiliser des invites colorées, consultez le lien suivant pour plus de détails: http://www.funtoo.org/en/articles/linux/tips/prompt/ .
la source
Les travaux suivants pour les terminaux gnome3. Il utilise xdotool pour automatiser l'interaction avec le menu du terminal gnome, car les raccourcis clavier disponibles sont actuellement limités.
J'ai créé deux profils. Le premier dans le menu Terminal-> Profils est ma valeur par défaut et indique une machine locale. Le second est mon schéma de couleurs pour une connexion à distance à machine66.
J'ai ensuite défini les alias suivants dans mon bashrc:
Le premier_profil et le deuxième_profil utilisent simplement xdotools pour cliquer sur f10 (ouvrir le menu), puis traverser de droite vers le terminal, descendre 1 jusqu'à la sélection des profils, puis sélectionner le premier ou le deuxième profil.
go66 appelle d'abord second_profile pour définir les couleurs, ssh dans la machine distante. A la sortie de ssh, first_profile est appelé, retournant le profil au profil local.
C'est maladroit, mais ça marche. Je suis heureux d'entendre des suggestions de raffinement.
la source
je l'avais sur ma liste de todol pendant un certain temps et j'ai juste essayé et recherché againg
c'est aussi un rappel pour moi: je dois essayer avec screen / byobu
Pour l'instant, j'utilise des profils gnome-terminal. Les fichiers de configuration sont xml dans HOME / .gconf / apps ... et donc je pourrais les créer / copier via un script plus tard pour environ 20 à 50 hôtes, avec des couleurs créées automatiquement, etc. Comme j'écris, je vois et je dois admettre que pas une idée très sophistiquée.
Pour l'instant, j'ai besoin d'un raccourci plus facile à taper puis ALT + DR 0 pour ouvrir un nouvel onglet avec le profil # 0 (raccourci allemand)
la source