web-dev-qa-db-ja.com

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

デフォルトにはnoのパディングがあり、目が痛いので、gnomeターミナルのパディングを増やしたいと思います。

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

例えば：

=[X][-][ ]=============My Terminal==================
|                                                  |
|  $> echo "Padding occurs on both sides for long  |
|     input"                                       |
|                                                  |
|                                                  |
|                                                  |
====================================================
command-lineguignome-terminal
41
Aaron Yodaiken

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

ポールはほとんど正しかった。この拡張ソリューションはbuntu 14.04.1でGNOMEターミナル3.6.2で動作します。

すべてのバージョンの場合：

  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を再起動します。

34
Makaze

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

vte-terminal {
    padding: 10px;
}
9
phrz

端末の出力をウィンドウの境界から移動するには、次の設定でスタイルシート〜/ .config/gtk-3.0/gtk.cssを作成します。

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

https://bbs.archlinux.org/viewtopic.php?id=163964

4
paulusm

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

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

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

から

VteTerminal {
    padding: 10px;
}

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

3
Subroto

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

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

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

2
sudodus

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

私のボックスのシステム全体のデフォルトは/etc/X11/Xresourcesと/etc/X11/app-defaultsにありますが、gnome-terminalがそれらのどれを扱っているかはわかりません。

Edit：また、これは「テーマ部門」と思われるため、テーマファイルを編集したり、カスタム.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
agnul

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
fragos

あるいは、テーマの（メタデータ2）left_widthパラメーターを15または20ピクセルに変更する回避策を使用しました。

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

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

1
Christian