web-dev-qa-db-fra.com

Comment puis-je mettre à niveau gnome-terminal sur Ubuntu 14.04 LTS?

Je voudrais mettre à jour gnome-terminal à la dernière version. Est-ce possible sur Ubuntu 14.04 LTS?

J'utilise la version 3.6.2 de gnome-terminal.

J'ai essayé:

Sudo apt-get install --only-upgrade gnome-terminal

et il est dit que gnome-terminal est déjà la version la plus récente.

14.04gnomeupgradegnome-terminal
5
Håkon Hægland

Vous avez deux moyens de mettre à niveau votre terminal de 3.6.2 (stable) à la dernière version 3.12.3 et de lire étape par étape. Ne lancez pas apt-upgrade à moins d’avoir terminé l’installation.

1ère solution avec PPA Gnome3/staging

Sudo add-apt-repository ppa:gnome3-team/gnome3-staging

Sudo apt-get update

Sudo apt-get install --reinstall gnome-terminal

2ème solution avec ce PPA:

Sudo add-apt-repository ppa:towolf/transparent-gnome-terminal

Sudo apt-get update

Sudo apt-get install --reinstall gnome-terminal

Bien que ce PPA puisse nécessiter l’installation de Gnome3/staging PPA également, ce deuxième PPA contient différents correctifs et correctifs sur le schéma RVB et la transparence, l’opacité, etc.

Avis!

Après avoir ajouté des PPA tels que Gnome3/staging, méfiez-vous des mises à niveau, vous pouvez même endommager votre système. Voici les dernières mises à jour Edge et toutes ne sont pas garanties. Ainsi, après avoir installé gnome-terminal, il est préférable de les purger, par exemple:

Sudo ppa-purge ppa:gnome3-team/gnome3-staging

Sudo apt-get update

(PPA-purge doit être installé en premier Sudo apt-get install ppa-purge)

5
JoKeR