端末を特定のサイズ以上にするにはどうすればよいですか?


8

ターミネーター端末が80x24より小さくならないようにしたいのですが。つまり、端末をそのサイズ以下にサイズ変更することはできません。小さすぎる端末を分割しようとすると、既存の端末が収まるように縮小されるか、親と子の端末が新しいウィンドウ。

ターミネーターのような優れたタイリングソリューションが望ましいですが、必要に応じてターミナルプログラムを変更してもかまいません。

回答:


4

gnome-terminal最小ウィンドウサイズはターミナルアプリケーションにハードコード化されているため、目的を達成するには、ソースコードを編集して自分で再構築する必要があります。これを行うには、次の手順に従います。

まず、https://launchpad.net/ubuntu/+source/gnome-terminal/3.6.1-0ubuntu4にアクセスし、ソースファイルをダウンロードします(ファイルはgnome-terminal_3.6.1.orig.tar.xzです)。これを~/Downloadsフォルダーにダウンロードします。

次に、ターミナルを開き、次のコマンドを入力します。

cd ~/Downloads

tar -xJf gnome-terminal_3.6.1.orig.tar.xz

これでソースが抽出されます。次に、お気に入りのテキストエディタを開いてファイルを編集します~/Downloads/gnome-terminal-3.6.1/src/terminal-window.c。3107行目に移動します。ここには、変数MIN_WIDTH_CHARSとがありMIN_HEIGHT_CHARSます。これらを編集します。これらは、文字で表した端末ウィンドウの最小の高さと幅です(つまり、MIN_WIDTH_CHARS20は、ウィンドウの幅を20文字幅未満にサイズ変更できないことを意味します)。

次に、ビルドするために、端末タイプでcd ~/Downloads/gnome-terminal-3.6.1。次に、実行 ./configureしてmakefileを生成します(不足しているパッケージに不満がある場合は、それを使用してインストールしますapt-get(たとえば、「パッケージfooが見つかりません」などと表示されている場合はを使用しますsudo apt-get install foo)。インストールauto-aptと使用を試すこともできますsudo auto-apt run ./configure(これにより、すべての依存関係がインストールされます)、しかし、私がこれを試したとき、それはすべてを完全にキャッチしませんでした(./configure後で標準を実行します)これは、不足しているパッケージの数によっては、数回の試行を要する場合があります。

makefileが生成されたら、単にと入力しmake、その後にを続けsudo make installます。これで端末プログラムが再構築されます。すべてのターミナルウィンドウを閉じます。次に開始するウィンドウでは、ソースで設定した最小サイズが適用されます(つまり、そこで定義した値よりも小さいサイズに変更されません)。


さらに完全な方法は、あなたが述べたとおり正確に行うことですが、ユーザーが問題を引き起こさないように維持および/またはロックインできる.debを構築するために、独自のPPAを作成する追加のステップに進みます。システムの残りの部分をアップグレードするとき。このようにして、パッケージマネージャーは引き続きパッケージを管理しますが、ユーザーはパッケージマネージャーの目的の機能を損なうことなく、PPA内の1つだけを制御できます。「行く」という答えとして、できるだけ多くのことを言及することは(私は)あなたの意見を固めるでしょう。
darthlukan 2013年

@darthlukan興味深い点。私はこれについて実際には考えていませんでした(おそらく、これを自分でテストする前に知っておくべきでした)実際、どのようにそれを実行するか、変更をそのままにしてパッケージの更新を適用する方法はわかりません...私もこの解決策はgnome-terminalに対するものであるのに対して、質問はターミネーターに特に言及していることに気づきました。そのため...
Jez W

それがgnomeターミナルであるかターミネーターであるかに関係なく(実際、ターミネーターは複数のgnomeターミナルを表示し、gnome-terminalはターミネーターの依存関係です)、ソリューションは正しいままです。ユーザーはターミネーターでほとんど同じことを行うことができます。異なる、異なるファイル名の可能性がある変数名に注意を払う必要がありますが、手順はすべて同じです(メインコンテンツ)。カスタム.debパッケージを作成してPPAをAptにアタッチすると、バージョンをロックする限り、パッケージがオーバーライドされます。
darthlukan 2013年

4
  1. スーパーキーを押して検索レンズを開き、次の場所を探しますメインメニュー
  2. メインメニュー」アプリケーションが起動したら、左側のメニューで「アクセサリ」を選択し、次に2番目のメニューで「ターミナル」を選択します。
  3. ターミナル」オプションを選択したら、右側の「プロパティ」ボタンを押します。新しいウィンドウが開き、ターミナルランチャーのプロパティが表示されます。
  4. Command」エントリに移動し、これをエントリの最後に追加します。

    --geometry=132x24
    

    完成したエントリは次のようになります。

    gnome-terminal --geometry=132x24
    

それでおしまい。ウィンドウを閉じると、次回ターミナルを起動したときにウィンドウのサイズが変更されます。正常に動作するには、ログアウトしてから再度ログインする必要がある場合があります。

(132x24は単なる例であり、任意の解像度を使用できます)


2
これは、開始ジオメトリにのみ影響し、ターミナルが指定されたサイズを下回ってサイズ変更されるのを防ぎません。
ニコラス

2

まあ、私が知る限り、できません。ターミナルウィンドウの解像度は、文字の比率に基づいています...したがって、フォントのサイズを変更すると、ターミナルウィンドウのサイズは、そのフォント...

最初は少しばかげて聞こえますが、端末が単にテキスト文字のみを表示することを考えると、ウィンドウのサイズがピクセルである場合、ウィンドウのサイズが正確ではない場合、無駄なスペースになることがよくあります文字境界に一致...


それは愚かで完全にさらに悪く、プログラマーがなぜそれをしたのかは考えられません。複雑なヘッドレッカー
Carni

1

古いバージョンのUbuntuを使用している場合は、右クリック->プロパティウィンドウで、最初のタブに2つのフィールドがあり、ターミナルの行と列を編集できます。

それ以外の場合は、回答1で参照されているコマンド入力を使用できます。

--geometry=132x24

これは、最初のジオメトリにのみ影響します。
ニコラス

1

デフォルトのサイズについてのちょっとしたトリックは、ここのトピックでし。そこで、ユーザーviscountがスクリプトを作成してそれを/ usr / bin / gnome-terminalに次のように配置することで解決しました(私はgnomeをウィンドウマネージャーとして使用していると想定しています)。

#!/bin/sh
gnome-terminal --geometry=132x24

タスクバーのgnome-terminalアイコンを右クリックしてプロパティを選択し、コマンドを次のような別のコマンドに変更することもできます。

gnome-terminal --working-directory=%f --geometry=132x24

このようにして、独自に定義したデフォルトサイズがあります。


弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.