Comment réinitialiser les propriétés et les préférences du terminal?

Dans le terminal, cliquez sur le menu "Edition" puis sur "Préférences de profil". Il affichera la fenêtre "Modification du profil". pour réinitialiser la couleur, assurez-vous d'avoir coché la case "Utiliser les couleurs du thème 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

Cependant, si vous souhaitez réinitialiser uniquement le profil par défaut, qui utilise UUID b1dcc9dd-5262-4d8d-a863-c897e6d979b9 par défaut , vous pouvez utiliser

dconf reset -f /org/gnome/terminal/legacy/profiles:/:b1dcc9dd-5262-4d8d-a863-c897e6d979b9/

^{Remarque: Cette méthode devrait fonctionner dans Ubuntu 15.04, 15.10 et pourrait fonctionner également en 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 de terminal sur votre bureau. Ensuite, éloignez-vous de l'interface graphique avec Ctrl + Alt + F1 et connectez-vous à 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 supprimez-le:

rm -rf ~/.gconf/apps/gnome-terminal

Maintenant, vous pouvez revenir à l'interface graphique avec Alt + F7 ou Alt + F8 et lancer le terminal. Il doit ê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 - voulez-vous réinitialiser l'apparence graphique? voulez-vous réinitialiser le shell?

Tout d’abord, le terminal par défaut dans Ubuntu est gnome-terminal , donc 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 référer aux manuels de leurs émulateurs de terminal respectifs.

Réinitialisation des préférences de l'interface utilisateur gnome-terminal par défaut

Pour réinitialiser gnome-terminal , il suffit de faire ceci:

dconf reset -f /org/gnome/terminal/legacy/profiles:/ 

Vous pouvez également utiliser l’outil graphique appelé dconf-editor .

REMARQUE : plusieurs réponses suggèrent ici gconftool-2 . Cependant, GConf

  

. . .was déconseillé dans le cadre de la transition GNOME 3. La migration vers son remplacement, GSettings et dconf, est en cours ( source )

Réinitialisation du shell

Les utilisateurs se demandent souvent s’ils ont quelque chose avec leur shell, et maintenant le texte dans le terminal est différent ou ils voient une erreur. Le moyen le plus simple et le plus rapide consiste à se débarrasser de l'ancien fichier ~/.bashrc et à le remplacer par un fichier par défaut, stocké dans /usr/share/base-files/dot.bashrc Vous pouvez le faire via un terminal ou via l'interface graphique - peu importe. Via le 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 personnel et renommez-le en .bashrc

Terminal Gnome ne s'ouvre pas

Vous avez donc modifié certains paramètres et maintenant gnome-terminal ne fonctionne pas. Super, et maintenant? Heureusement, il existe plusieurs façons de contourner ce problème.

Un, commencez xterm . Par défaut, Ubuntu est livré avec deux émulateurs de terminaux. xterm est l'émulateur de terminal d'origine pour 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 dconf mentionnée ci-dessus, ainsi que pour réinitialiser votre fichier ~/.bashrc config.

Une autre approche, serait d'utiliser dconf-editor tool, à nouveau mentionné 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 installés à 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 xterm ou TTY ( Ctrl + Alt + F [1-6] )

J'ai fait quelque chose à mon invite, je veux qu’il ressemble à user @ hostname: ~ $ à nouveau.

Voici la chose: l'invite comporte deux parties statiques: [email protected]: et $ . Celui au milieu, ~ , signifie votre répertoire de travail actuel. Tout 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:

[email protected]:~$ cd /etc
[email protected]:/etc$ cd /home/$USER/Desktop
[email protected]:~/Desktop$ 

Si vous voulez revoir ~ , il vous suffit de revenir à votre répertoire personnel:

[email protected]:~/Desktop$ cd
[email protected]:~$ 

Si vous souhaitez vous débarrasser définitivement des informations de répertoire dans votre invite, vous devez modifier votre fichier ~/.bashrc . Ajoutez cette ligne:

PS1="\[email protected]\h:$"

Enregistrez le fichier et exécutez le source ~ / .bashrc. Vous avez maintenant une invite statique. Le gros problème est que vous ne verrez pas où vous vous trouvez pour le moment, vous devrez donc vous fier à la commande pwd pour cela et faire attention à ne pas supprimer les fichiers importants (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 faire face à cela, donnez-moi simplement un terminal de travail

C'est assez facile: installez un autre émulateur de terminal. Oh, et il y a beaucoup de choix . Personnellement, je recommanderais terminator , guake ou sakura

Lorsque vous êtes dans Terminal , accédez à Modifier & gt; Préférences de profil ou appuyez sur Alt + E - O pour ouvrir le profil d’édition . dialogue. Après, assurez-vous de tout sélectionner sous les images ci-dessous.

Assurez-vous également que la valeur de PS1 dans le fichier ~/.bashrc est:

PS1='${debian_chroot:+($debian_chroot)}\[3[01;32m\]\[email protected]\h\[3[00m\]:\[3[01;34m\]\w\[3[00m\]$ '