Retourner au contenu associé (dépêche : Quel terminal pour 2018 ?)
Posté par ff9097 le 10 mars 2018 à 11:59. En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 6.
Il y a Tilix qui propose la même chose mais très bien intégré à Gnome : https://github.com/gnunn1/tilix
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: terminator
Posté par ff9097 . En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 6.
Il y a Tilix qui propose la même chose mais très bien intégré à Gnome : https://github.com/gnunn1/tilix