gnomeターミナルのパディングを増やす


41

デフォルトにパディングがなく、目が痛いため、gnomeターミナルのパディングを増やしたいと思います。

(パディング:ウィンドウの境界とテキスト入出力が表示される場所との間にスペースが必要です。)

例えば:

=[X][-][ ]=============My Terminal==================
|                                                  |
|  $> echo "Padding occurs on both sides for long  |
|     input"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================

回答:


34

2018年6月2日編集: Ubuntu 18.04の時点で、これを機能させるにはもう1つの要素セレクターを追加する必要があります。


ポールはほとんど正しかった。この拡張ソリューションは、GNOMEターミナル3.6.2Ubuntu 14.04.1の時点機能します。

すべてのバージョン:

  1. 次のコードを追加します~/.config/gtk-3.0/gtk.css

    VteTerminal,
    TerminalScreen,
    vte-terminal {
        padding: 10px 10px 10px 10px;
        -VteTerminal-inner-border: 10px 10px 10px 10px;
    }
    

    編集:ファイルがまだ存在しない場合は作成する必要があります(jonS90に感謝)。

  2. gnome-terminalのすべてのインスタンスを強制終了します:

    $ killall gnome-terminal
    
  3. gnome-terminalを再起動します。


2
指定されたgtk.cssファイルがシステムに存在しませんでした。私はそれを作成しなければなりませんでした(そして解決策が働きました)。
jonS90

これは、パンテオン端末(基本OS Loki)でも完全に機能します。
ヴィシュヌ

2
これらの数値がエッジにどのように関係しているかを覚えているTRouBLeがある場合、それは右上、左下です。
テリーブラウン

1
@TerryBrown TRouBLeはいい方法です。もう1つは、アナログ時計で針が進むことです。12-3-6-9(上、右、下、左)。
WinEunuuchs2Unix

9

Ubuntu 16.10でgnome-terminal 3.20.2を使用してすべての回答を試しましたが、うまくいきませんでした。このランチパッドスレッドで最新のソリューションを見つけました。ファイル~/.config/gtk-3.0/gtk.css(作成する必要がある場合があります)に、これを追加します。

vte-terminal {
    padding: 10px;
}

これはUbuntu 17.04でも機能することを確認できます。
アルプデナー

17.10。で動作します。
ブロックループ

だから、私はあなたの3行だけを持つようにgtk.cssを作成しますか?または、どのようにデフォルトのものを作成できますか?
ロビン・スー

@RobinHsuファイルが存在する場合、これを最後に追加します。存在しない場合は作成し、追加するだけです。
phrz

これはUbuntu 18.04では機能しません。
アレクサンドル・ヴェリ


3

この問題を確認してください-Unity Terminal 16.04

ウィッシュリストのコメントは、ファイルを変更する必要があるUbuntu 16.04端末向けの非常に適切なソリューションであると説明しています~/.config/gtk-3.0/gtk.css

VteTerminal,
TerminalScreen {
    padding: 10px 10px 10px 10px;
    -VteTerminal-inner-border: 10px 10px 10px 10px;
}

VteTerminal {
    padding: 10px;
}

padding通常のCSSと同じように機能しpaddingます。


これはUbuntu 18.04では機能しません。
アレクサンドル・ヴェリ

2

昔、X Resourcesがありました。ホームディレクトリに.Xdefaultsor .Xresourcesファイルを作成すると、グラフィカルアプリケーションのあらゆる種類の設定を変更できます。

私のボックス上のシステム全体のデフォルトは中に発見された/etc/X11/Xresources/etc/X11/app-defaults私はそれらのいずれかの場合はgnome-terminalの苦労を知りません。

編集:また、これは「テーマ部門」と思われるため、テーマファイルを編集したり、カスタム.gtkrcファイルを使用してgnome-terminalを起動すると、次のようなトリックを実行できます。

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

ターミナルで、または上記のgnome-terminal.destktopを次のように編集します

Exec=env GTK2_RC_FILES=/home/you/custom-gtkrc gnome-terminal

動作する可能性があります。


2

古いxtermなど、一部の端末で実行できます

xterm -b 10 -title "-b 10" -e nano &
xterm -title "no border spec" -e nano & 

マニュアルに man xtermは、フォント、前景色、背景色の設定方法が記載されています。設定するのは少し難しいかもしれませんが、非常に柔軟です。


1

gconfまたはdconfエディターでパディングパラメーターが見つかりませんでした。Software Centerで「ターミナル」を検索したところ、多くのターミナルアプリケーションが見つかりました。Gnomeは、さまざまな端末アプリケーションを簡単に指定できるようにしていましたが、状況は少し変わりました。/usr/share/applications/gnome-terminal.desktopは、実行するターミナルアプリケーションが指定される場所です。そのファイルを開くと、以下が見つかります。

[New Shortcut Group]
Name=New Terminal
Exec=gnome-terminal
TargetEnvironment=Unity

Exec = gnome-terminalを変更して、別のターミナルアプリケーションを選択できます。これらのファイルのMIMEタイプは編集可能であるとnaultilusに認識されないため、このファイルの編集は少し複雑です。次のように、コマンドラインから編集を開始する必要があります。

sudo gedit /usr/share/applications/gnome-terminal.desktop

その変更を行った後、ターミナルアプリケーションは以前と同じように開始できますが、代わりのターミナルアプリケーションが実行されます。


1

別の方法として、テーマの(メタデータ2)left_widthパラメーターをピクセル15または20ピクセルに変更する回避策を使用しました。

これにより、ウィンドウの境界が左側で太くなり、有効な左マージンがウィンドウ内に移動します。端末のウィンドウの境界色と背景色が近いので、これは問題なく機能します。

私はこれを徹底的に調査しましたが、それを行う唯一の方法はxterm、上記のように端末に切り替えることです。ただし、xtermの構成は苦痛であり、構成.Xresourcesファイルを介して行う必要があります。xtermにはメニューはありません。

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