GNU/Linux >> Tutoriels Linux >  >> Ubuntu

Comment faire en sorte que le terminal du serveur Ubuntu ait la même police et le même schéma de couleurs que le terminal du bureau Ubuntu ?

J'essaie de faire en sorte que le terminal du serveur Ubuntu ressemble au terminal de bureau Ubuntu en termes de police et de couleurs. Existe-t-il un moyen de faire cela ?

Réponse acceptée :

Lorsque vous vous connectez à un tty, il s'agit d'un shell de connexion, donc il source, ~/.profile ou s'il existe, ~/.bash_login ou s'il existe, ~/.bash_profile (généralement uniquement ~/.profile existe dans Ubuntu).

~/.bashrc provient de shells interactifs sans connexion (terminaux que vous ouvrez dans un environnement de bureau)

Voici les alias présents par défaut dans Ubuntu (desktop) pour les couleurs dans les terminaux :

alias ls='ls --color=auto'
alias grep='grep --color=auto'
alias fgrep='fgrep --color=auto'
alias egrep='egrep --color=auto'

Ceux-ci se trouvent dans .bashrc S'ils ne sont pas présents, vous pouvez les y ajouter.

Pour obtenir les mêmes paramètres que .bashrc dans un shell de connexion (tty), vous devez vous assurer que .bash_profile ou .bash_login ou .profile source votre .bashrc en mettant quelque chose comme ça dans votre .bash_profile ou .bash_login ou .profile , s'il n'y est pas déjà :

# if running bash
if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
        . "$HOME/.bashrc"
    fi
fi

La police est une autre affaire :

sudo apt install fonts-ubuntu-font-family-console

Ajoutez ensuite cette ligne à la fin du même fichier (.bash_profile , .bash_login ou, très probablement, .profile )

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

Pour l'utiliser immédiatement, vous pouvez source .profile (ou quel que soit le fichier dans lequel vous l'avez mis), sinon, il sera modifié lors de votre prochaine connexion.


Ubuntu
  1. Comment créer un serveur Minecraft avec Hostinger, Ubuntu, Windows et macOS

  2. Personnaliser le Terminal sur Ubuntu 20.04 - comment faire ?

  3. Comment installer le serveur Web OpenLiteSpeed ​​PHP et MariaDB sur Ubuntu 20.10

  4. Comment changer la taille de la police du terminal dans Ubuntu

  5. Comment effacer le terminal dans Ubuntu

Comment personnaliser le terminal sur Ubuntu 20.04

Comment changer la police et la taille de police de votre terminal Ubuntu

Comment exporter et importer le profil du terminal Gnome dans Ubuntu

Comment installer et faire de Nemo le gestionnaire de fichiers par défaut dans Ubuntu

Comment changer le terminal par défaut dans Ubuntu

Les 15 meilleurs outils de police Linux et comment installer des polices Linux sur Ubuntu