Pour ma part j'utilise une combinaison de l'extension "drop down terminal" de Gnome Shell et Tilix :
- Drop Down Terminal : pour une utilisation immédiate et simple. Gain : rapide à faire apparaitre (touche 2) et efficace (simplicité extrème)
- Tilix : pour une utilisation plus longue / complexe: j'aime sa simplicité d'apparence et son mode pavant
[^] # Re: guake
Posté par Ghorin . En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 2.
Pour ma part j'utilise une combinaison de l'extension "drop down terminal" de Gnome Shell et Tilix :
- Drop Down Terminal : pour une utilisation immédiate et simple. Gain : rapide à faire apparaitre (touche 2) et efficace (simplicité extrème)
- Tilix : pour une utilisation plus longue / complexe: j'aime sa simplicité d'apparence et son mode pavant