始める前に、周りを見回しましたが、問題の解決策を見つけることができません。これは他の質問と似ていると思うかもしれませんが、最後までお読みください。
だから私がやりたいのは、特定の位置と特定の幅と高さでgnome-terminalを開始する小さなスクリプトを書くことです。これは私が行う方法を知っていますが、私が知らないのは、それによってどのようにズームインできるかです。つまり、ウィンドウのサイズを大きくせずに、テキストフォントを大きくします。
私は小さなコンソールプログラムを持っていますが、問題はそれが小さすぎることです。端末の隅を埋めるだけでなく、端末が本当に小さいのではなく、すべてが大きく見えるように、より大きなフォントサイズで起動したいと思います。ありがとうございました!
gnome-terminal --help-all
あなたの友だちです。あなたが試すことができます gnome-terminal --geometry=80x10+x+y --zoom=2 --command="your program"
。どこ zoom=1.0
は通常のサイズで、xとyは位置を指定します。