Retourner au contenu associé (sondage : Quel terminal utilisez-vous ?)
Posté par sebas le 24 avril 2015 à 13:53. En réponse au sondage Quel terminal utilisez-vous ?. Évalué à 2. Dernière modification le 24 avril 2015 à 13:54.
Roxterm pour les usages courants.
xfce4-terminal avec l'option --drop-down pour avoir un terminal du style guake quand j'en ai besoin (je suis sous xfce). Je l'ai associé avec un raccourci clavier, bien sûr.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# roxterm
Posté par sebas . En réponse au sondage Quel terminal utilisez-vous ?. Évalué à 2. Dernière modification le 24 avril 2015 à 13:54.
Roxterm pour les usages courants.
xfce4-terminal avec l'option --drop-down pour avoir un terminal du style guake quand j'en ai besoin (je suis sous xfce). Je l'ai associé avec un raccourci clavier, bien sûr.