Terra est un terminal intégré à la barre de taches de l’environnement du bureau à la façon de Guake avec les possibilités de Terminator.
Le terminal terra reste ouvert en permanence en fond de l’environnement du bureau et s’agrandit ou se ferme en « tirant » avec la souris sur la bordure inférieur de la fenêtre du terminal.
L’action de la touche F12 permet d’ouvrir en grand ou de cacher Terra. Le raccourci peut être changé dans les préférences de Terra, dans ce cas ne pas oublier de relancer Terra.
Terra s’adapte au multi-écrans et est paramétrable en largeur(width) et hauteur(height).
A la façon de Terminator, il est possible de splitter la fenêtre du terminal en vertical et horizontal.
Voici une petite vidéo de démonstration sous Gnome-Shell:
[youtube VXu4JYqgD8M]
Installation du terminal Terra
Ajout du ppa
sudo add-apt-repository ppa:ozcanesen/terra-terminal
Mise à jour
sudo apt-get update
Installation de Terra
sudo apt-get install terra
Bonjour,
C’est précisément ce que je cherchais. Seul bémol… ça ne marche pas ;) Enfin pas sur mon Ubuntu 16.04 avec Mate. J’en déduis qu’il n’est compatible qu’avec Gnome 3 ?