Retourner au contenu associé (dépêche : Quel terminal pour 2018 ?)
Posté par François GUÉRIN (Mastodon) le 12 mars 2018 à 11:25. En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 1.
Yes, il y a GPaste pour gnome avec son extension, je m'en sert tout le temps !
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: iTerm2
Posté par François GUÉRIN (Mastodon) . En réponse à la dépêche Quel terminal pour 2018 ?. Évalué à 1.
Yes, il y a GPaste pour gnome avec son extension, je m'en sert tout le temps !