Retourner au contenu associé (sondage : Quel terminal utilisez-vous ?)
Posté par Maxime (site web personnel) le 02 mai 2015 à 12:29. En réponse au sondage Quel terminal utilisez-vous ?. Évalué à 2.
J'ai reproduit le comportement de Guake avec un terminal gnome-terminal lancé depuis un raccourci clavier dans Awesome WM. C'est vrai que c'est pratique.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Guake
Posté par Maxime (site web personnel) . En réponse au sondage Quel terminal utilisez-vous ?. Évalué à 2.
J'ai reproduit le comportement de Guake avec un terminal gnome-terminal lancé depuis un raccourci clavier dans Awesome WM. C'est vrai que c'est pratique.