phhsnews.com


phhsnews.com / Comment faire en sorte que l'invite de modification change les couleurs lorsqu'elle est connectée à un serveur?

Comment faire en sorte que l'invite de modification change les couleurs lorsqu'elle est connectée à un serveur?


Si vous accédez à plusieurs serveurs pendant la journée de travail, vous pouvez dire à quel serveur vous travaillez Un regard basé sur un schéma de couleurs peut être très utile. La session de questions-réponses d'aujourd'hui nous est offerte par SuperUser, une subdivision de Stack Exchange, un regroupement communautaire de sites Web de questions et réponses.

La question

Le lecteur SuperUser nitins veut savoir comment changer l'invite de Bash quand elle est connectée à un serveur:

Y a-t-il un moyen de rendre le Bash Prompt dynamique afin qu'il change de couleur quand je suis connecté à un serveur ? Je veux que la couleur soit verte lorsque j'utilise mon propre système personnel, mais passe au rouge chaque fois que je suis connecté à des serveurs. J'ai un grand nombre de serveurs auxquels j'accède et je ne veux pas avoir à mettre un

.bashrc différent sur chacun d'entre eux Comment faire en sorte que l'invite de bascule change de couleur lorsqu'elle est enregistrée dans un serveur?

Le contributeur SuperUser de la réponse

Matei David a la réponse pour nous:

Les invites de Bash distantes sont définies par la télécommande

~ / .bashrc , vous devrez donc toujours copiez-le sur les serveurs distants. Cependant, vous pouvez utiliser un seul ~ / .bashrc pour tous les hôtes et définir la couleur Bash Prompt en fonction du nom d'hôte: Notes

Ne pas définir

  • PS1 si il n'est pas déjà défini (c'est-à-dire si le shell n'est pas interactif). Test pour voir si PS1 est "non vide" est un moyen très courant de savoir si le shell est interactif et vous ne voulez pas confondre les programmes qui le font (un test plus précis vérifie pour voir si $ - contient i ). Si vous voulez que ce code s'exécute lors de la connexion à un serveur distant, vous devez toujours avoir un des fichiers de profil source
  • ~ / .bashrc (Je suppose que vous le savez). Dans
  • PS1 , les codes d'échappement doivent être inclus dans [... ] . [033 [m
  • réinitialise l'avant-plan et l'arrière-plan à leurs valeurs par défaut, ici : w apparaît dans le premier plan / arrière-plan. [033 [48; 5; 033 [38; 5; YYYm
  • définit l'arrière-plan / premier plan sur XXX / YYY . Pour un script qui récupère les couleurs disponibles, essayez colortest.
  • Pour vérifier et voir ce Bash Prompt ressemblerait, utilisez:
  • echo -e " $" <33[48;5;16m33[38;5;196mhost33[m:dir> Vous avez quelque chose à ajouter à l'explication? Sonnez dans les commentaires. Vous voulez lire plus de réponses d'autres utilisateurs de Stack Exchange? Découvrez le fil de discussion complet ici.

Crédit image: Emx (Wikipedia)


Comment remplacer certaines citations intelligentes dans un document Word 2013

Comment remplacer certaines citations intelligentes dans un document Word 2013

Word inclut un paramètre qui vous permet de convertir automatiquement des guillemets droits en citations intelligentes ou en guillemets type. Cependant, il peut arriver que vous ayez besoin de guillemets droits et que vous deviez convertir certaines guillemets dans votre document. CONNEXION: Comment convertir automatiquement des guillemets en citations intelligentes dans Word 2013 Il peut y avoir plusieurs raisons pour lesquelles vous devez convertir des guillemets intelligents en guillemets droits, mais nous allons vous montrer un moyen facile de convertir les guillemets en utilisant la fonction "Rechercher et remplacer".

(how-to)

Configurer l'audio pour toute la maison à bas prix avec Google Chromecast

Configurer l'audio pour toute la maison à bas prix avec Google Chromecast

Les solutions audio pour toute la maison sont coûteuses et souvent difficiles à configurer. Aujourd'hui, nous allons vous passer d'un système audio maison à un système audio maison en quelques minutes avec Google Chromecast Audio. CONNEXION: Comment configurer un nouveau haut-parleur Sonos Les configurations de haut-parleurs qui diffusent la même musique dans votre maison vont généralement de très chères à très chères.

(how-to)