Comment réinitialiser les propriétés et les préférences du terminal?
Je me suis amusé avec les couleurs et les choses, dans le terminal, et veux maintenant revenir à la config marron et blanc par défaut du terminal. Quels fichiers dois-je supprimer?
Dans le terminal, cliquez sur le menu 'Edition' puis sur 'Préférences de profil'. Il fera apparaître la fenêtre 'Editing Profile'. pour réinitialiser la couleur, assurez-vous que vous avez coché la case "Utiliser les couleurs du thème du système" dans l'onglet "Couleurs".
Essayez gconftool --recursive-unset /apps/gnome-terminal
Ubuntu 16.04
Cette commande simple fonctionne dans Ubuntu 16.04.
dconf reset -f /org/gnome/terminal/legacy/profiles:/
Réinitialiser uniquement le profil par défaut
Toutefois, si vous souhaitez réinitialiser uniquement le profil par défaut, qui utilise UUID b1dcc9dd-5262-4d8d-a863-c897e6d979b9par défaut , vous pouvez utiliser
dconf reset -f /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/
Note: Cette méthode devrait fonctionner dans Ubuntu 15.04, 15.10 et peut aussi fonctionner dans 14.04! Mais je n'ai pas testé sur ces versions
Si vous souhaitez effectuer une réinitialisation complète des paramètres du terminal Gnome, vous pouvez supprimer le répertoire ~/.gconf/apps/gnome-terminal qui les contient. Je fermerais toutes les fenêtres du terminal sur votre bureau. Puis quittez l'interface graphique avec Ctrl+Alt+F1 et connectez-vous sur la console.
Vous devriez probablement sauvegarder le répertoire en premier, avec quelque chose comme:
cp -a ~/.gconf/apps/gnome-terminal ~/terminal-settings.bak
Puis retirez-le:
rm -rf ~/.gconf/apps/gnome-terminal
Maintenant, vous pouvez revenir à l'interface graphique avec Alt+F7 ou Alt+F8 et lancez le terminal. Il devrait être réinitialisé aux paramètres par défaut du système.
Pour réinitialiser le terminal, il faut d’abord comprendre quelle partie vous souhaitez réinitialiser exactement - souhaitez-vous réinitialiser l’aspect graphique? Voulez-vous réinitialiser le shell?
Tout d’abord, le terminal par défaut dans Ubuntu est gnome-terminal. Par conséquent, pour 99% des nouveaux utilisateurs, je suppose que vous utilisez gnome-terminal. Les utilisateurs avancés, qui utilisent autre chose que gnome-terminal, devront se reporter aux manuels de leurs émulateurs de terminal respectifs.
Réinitialisation des préférences de l'interface graphique de gnome-terminal
Pour réinitialiser gnome-terminal, il suffit de le faire:
dconf reset -f /org/gnome/terminal/legacy/profiles:/
Vous pouvez également utiliser un outil graphique appelé dconf-editor.
NOTE: Les réponses multiples suggèrent gconftool-2. GConfname__
. . est devenu obsolète dans le cadre de la transition GNOME 3. La migration vers son remplacement, GSettings et dconf, est en cours ( source )
Réinitialisation de Shell
Les utilisateurs s’interrogent souvent sur le fait qu’ils ont quelque chose avec leur Shell et que le texte dans le terminal a maintenant un aspect différent ou qu’ils voient une erreur. Le moyen le plus simple, le plus rapide et le plus sale consiste à supprimer l'ancien fichier ~/.bashrc et à le remplacer par celui par défaut, stocké dans /usr/share/base-files/dot.bashrc. Vous pouvez le faire via un terminal ou via une interface graphique - peu importe. Via terminal, vous feriez cat /usr/share/base-files/dot.bashrc > ~/.bashrc et via l'interface graphique - supprimez l'ancien fichier, copiez /usr/share/base-files/dot.bashrc du gestionnaire de fichiers dans votre dossier de départ et renommez le .bashrc
Gnome Terminal ne s'ouvre pas
Donc, vous avez changé certains paramètres et maintenant gnome-terminal ne fonctionne plus. Génial, et maintenant? Heureusement, il existe deux façons de contourner ce problème.
Premièrement, lancez xtermname__. Par défaut, Ubuntu est fourni avec deux émulateurs de terminaux. xtermest l'émulateur de terminal d'origine de l'interface graphique X11 et existe depuis longtemps, lorsque les dinosaures des systèmes Unix parcouraient la Terre. Vous pouvez l'utiliser pour appeler la commande dconfmentionnée ci-dessus, ainsi que pour réinitialiser votre fichier de configuration ~/.bashrc.
Une autre approche consisterait à utiliser l'outil dconf-editor, mentionné à nouveau ci-dessus. Si vous ne l'avez pas installé, utilisez Software Center pour l'obtenir.
Enfin, vous pouvez toujours purger et réinstaller le terminal. Purger le gnome-terminal signifie que tous les fichiers de configuration qui lui sont associés seront supprimés et qu'il sera installé à partir de zéro. La commande à faire est Sudo apt-get remove --purge gnome-terminal puis Sudo apt-get install gnome-terminal. Cela peut être fait via xtermou TTY (Ctrl+Alt+F[1-6])
J'ai fait quelque chose à mon invite, je veux qu'il ressemble à l'utilisateur @ nom_hôte: ~ $ à nouveau.
Voici le problème: l'invite comporte deux parties statiques username@hostname: et $. Celui du milieu, ~, désigne votre répertoire de travail actuel. Comme dans le gestionnaire de fichiers, lorsque vous accédez à différents répertoires, le terminal affiche le répertoire dans lequel vous travaillez actuellement. Donc par exemple:
xieerqi@eagle:~$ cd /etc
xieerqi@eagle:/etc$ cd /home/$USER/Desktop
xieerqi@eagle:~/Desktop$
Si vous souhaitez revoir ~, il vous suffit de revenir à votre répertoire personnel:
xieerqi@eagle:~/Desktop$ cd
xieerqi@eagle:~$
Si vous souhaitez supprimer définitivement les informations de répertoire de votre invite, vous devez modifier votre fichier ~/.bashrc. Ajouter cette ligne:
PS1="\u@\h:$"
Enregistrez le fichier et lancez la source ~/.bashrc. Maintenant, vous avez une invite statique. Le gros problème est que vous ne verrez pas où vous en êtes pour le moment, vous devrez donc vous fier à la commande pwd pour cela et faites attention à ne pas supprimer des fichiers de valeur (vous avez donc été averti :)
Vous pouvez également utiliser bash --posix qui affichera ce type d’invite:
$ bash --posix
bash-4.3$
Je ne veux pas m'occuper de ça, donnez-moi juste un terminal de travail
C'est assez simple: installez un autre émulateur de terminal. Oh, et il y a beaucoup de choix . Personnellement, je recommanderais terminatorname__, guakeou sakuraname__
Lorsque vous êtes dans Terminal, accédez à Éditer> préférences du profil, ou appuyez sur Alt+E-O pour ouvrir la boîte de dialogue Editing Profile. Après, assurez-vous de tout sélectionner comme ci-dessous.
Assurez-vous également que la valeur de PS1 dans le fichier ~/.bashrc est:
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
J'ai joué avec ce qui a eu pour effet de supprimer toutes les couleurs et de me garder en monochrome. Aucune différence entre le fichier et les répertoires.
Essayez l'une de ces solutions:
ls --color=auto
ls --color=tty
Référence: https://www.cyberciti.biz/faq/how-to-turn-on-or-off-colors-in-bash/
Peut aider quelqu'un ...