GNU/Linux >> Tutoriels Linux >  >> Ubuntu

Ont-ils simplement supprimé les paramètres d'arrière-plan du terminal ?

Il y a environ 10 minutes, j'ai configuré mon application Terminal de base pour qu'elle soit semi-transparente et j'étais vraiment satisfait du résultat. Maintenant, certaines mises à jour ont été exécutées et tout l'onglet "Arrière-plan" a disparu des paramètres du terminal. Cette option a-t-elle été supprimée ? Si oui, pourquoi ? Pourquoi quelqu'un ferait-il ça ?

J'utilise gnome-terminal 3.10.2 du ppa Gnome3.

Réponse acceptée :

Les versions standard d'Ubuntu utilisent gnome-terminal 3.6.2. L'onglet d'arrière-plan a été supprimé dans la version 3.7. Le ppa, comme vous l'avez vu, fournit la version 3.10.

Vous avez plusieurs choix :

  1. Purgez le ppa, puis exécutez une mise à jour et une mise à niveau pour restaurer les packages standard. Le compromis est que vous perdrez les autres fonctionnalités de Gnome 3.10 que vous pourriez souhaiter.
  2. Suivez les instructions sur Comment puis-je rendre le terminal transparent ? pour émuler la fonctionnalité de la version 3.10 (citée ci-dessous) :

    Depuis la version 3.7, cette option a été supprimée de la boîte de dialogue Préférences. Vous pouvez cependant toujours obtenir le même effet en définissant la propriété _NET_WM_WINDOW_OPACITY X, par exemple avec les outils Devil's Pie ou Devil's Pie II. Par exemple, configurez Devil's Pie pour démarrer automatiquement la session et créez le fichier ~/.devilspie/gnome-terminal.ds avec ce contenu :

(if
(matches (window_name) "gnome-terminal-window-*")
(opacity 90)
)

Vous pouvez également utiliser ce script shell qui ne fonctionne cependant que pour les fenêtres de terminal existantes et pas automatiquement pour celles nouvellement créées.


Ubuntu
  1. Un guide du terminal Linux pour les débutants

  2. Comment supprimer tous les paramètres de Deja Dup ?

  3. Une erreur s'est produite lors de la création du processus enfant pour ce terminal ?

  4. Que signifie le point d'interrogation dans la commande du terminal ?

  5. Comment gérer les paramètres PHP d'un site ?

Comment envoyer des processus en arrière-plan sous Linux

Désinstaller ou supprimer un package à l'aide du terminal sur CentOS

Comment ajouter un fond d'écran au terminal Debian 10

Quelle distribution Linux est la meilleure pour la confidentialité ?

Ubuntu – Terminal Vintage pour Ubuntu ?

3 lecteurs multimédias musicaux pour le terminal Debian 10