Si vous accédez à plusieurs serveurs tout au long de la journée de travail, il peut s'avérer très utile de savoir en un coup d'œil celui sur lequel vous travaillez en fonction d'un jeu de couleurs. L’article d’aujourd’hui sur les questions des super-utilisateurs aide le lecteur à créer un nirvana coloré dans son environnement de travail.
La séance de questions et réponses d’aujourd’hui nous est offerte par SuperUser, une sous-division de Stack Exchange, un groupe de sites Web de questions-réponses dirigé par la communauté.
La question
Le lecteur SuperUser nitins veut savoir comment faire en sorte que l'invite Bash change de couleur lorsque vous êtes connecté à un serveur:
Is there a way to make the Bash Prompt dynamic so that it changes color when I am logged into a server? I want the color to be green when using my own personal system, but change to red whenever I am connected to servers. I have a huge number of servers that I access and do not want to have to put a different .bashrc on each and every one of them.
Comment faites-vous changer l'invite de commandes Bash lorsque vous êtes connecté à un serveur?
La réponse
Matei David, contributeur à SuperUser, a la solution pour nous:
Remote Bash Prompts are set by the remote ~/.bashrc, so you will still need to copy it to the remote servers. However, you can use a single ~/.bashrc for all hosts and set the Bash Prompt color based on the host name:
Image
Notes
Do not set PS1 if it is not already set (i.e. if the shell is not interactive). Testing to see if PS1 is “non-empty” is a very common way to find out if the shell is interactive and you do not want to confuse programs that do that (arguably, a more accurate test is checking to see if $- contains i).
If you want this code to run when logging into a remote server, you should have one of the profile files always source ~/.bashrc (I am assuming you know that).
In PS1, the escape codes must be enclosed in […].
[033[m resets the foreground and background to their defaults, so here :w appears in the terminal foreground/background.
[033[48;5;XXXm 33[38;5;YYYm sets the background/foreground to XXX/YYY.
For a script that dumps the available colors, try colortest.
To check and see what the Bash Prompt would look like, use: echo -e “< 33[48;5;16m 33[38;5;196mhost 33[m:dir>$ “
Avez-vous quelque chose à ajouter à l'explication? Sound off dans les commentaires. Voulez-vous lire plus de réponses d'autres utilisateurs de Stack Exchange doués en technologie? Découvrez le fil de discussion complet ici.
Microsoft a créé un nouveau jeu de couleurs de console pour la mise à jour de Fall Creators de Windows 10, mais les systèmes Windows existants ne l’obtiennent pas automatiquement. Un nouvel outil officiel vous permet d'installer ce nouveau jeu de couleurs et d'autres pour une personnalisation aisée de vos fenêtres d'invite de commande.
Si vous avez configuré un serveur sur votre réseau domestique (comme un serveur de diffusion multimédia en continu) pour pouvoir accéder à vos fichiers ailleurs que chez vous, vous avez peut-être remarqué une énigme curieuse: lorsque vous souhaitez utiliser le serveur à la maison, votre trafic est acheminé vers l'extérieur. de retour vers votre maison, car votre matériel réseau ne reconnaît pas que le serveur n’est pas réellement disponible sur Internet, c’est chez vous. Voyo
Une fois par semaine, nous réunissons trois excellents conseils de lecture et les partageons avec le grand public de How-To Geek. Cette semaine, nous verrons comment exécuter un serveur de livres électroniques à partir de la ligne de commande, identifier les disques durs bon marché et ajuster les menus de Windows 8.
Nous vous avons récemment montré comment modifier la couleur de la barre des tâches de Windows 7 en n’importe quel logiciel sans aucun logiciel en arrière-plan. Nous disposons maintenant d’un moyen encore plus simple de le faire en un seul clic.
DWMColorMod est un outil portable gratuit qui vous permet de régler l’intensité de la couleur - rouge / vert / bleu, saturation, luminosité, réflexion et couleur et la transparence des bordures de votre explorateur de fenêtres.
