0
Terra
Terra est un émulateur de terminal basé sur GTK + 3.0 avec une interface utilisateur utile, il prend également en charge plusieurs terminaux avec écran de fractionnement horizontal ou vertical.
- Gratuite
- Linux
Terra est un émulateur de terminal basé sur GTK + 3.0 avec une interface utilisateur utile, il prend également en charge plusieurs terminaux avec écran de fractionnement horizontal ou vertical.
Site Internet:
https://launchpad.net/terraLes catégories
Alternatives à Terra pour Linux
79
56
Hyper
Hyper ™ est un terminal multiplateforme magnifique et extensible construit sur des normes Web ouvertes.
- Gratuite
- Windows
- Mac
- Linux
- Electron / Atom Shell
26
Cool Retro Term
Émulateur de terminal qui imite l'apparence et la sensation des anciens écrans à tube cathodique, conçu pour le plaisir des yeux avec de nombreuses options graphiques.
24
14
Kitty terminal
Kitty (à ne pas confondre avec KiTTY) est un émulateur de terminal basé sur un GPU puissant et multiplateforme.
14
11
ST - Simple Terminal
st est une implémentation de terminal simple pour X. Quel est le problème avec xterm?
5
2
2
MATE Terminal
MATE Terminal est un émulateur de terminal pour l'environnement de bureau MATE.
- Gratuite
- Linux
- GhostBSD
- FreeBSD
- OpenIndiana
- BSD
1
Proxy changer
Le changeur de proxy est une application qui vous permet de définir plusieurs proxy et de modifier les paramètres de plusieurs applications: apm, apt, bashrc, environnement, git, gnome, maven, npm ...
- Gratuite
- Linux