Saya ingin menambah padding di terminal gnome, karena defaultnya tidak memiliki padding dan sakit mata.

(Padding seperti pada: Saya ingin ruang antara batas jendela dan tempat input / output teks ditampilkan.)

Sebagai contoh:

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

Diedit Jun 02 2018: Pada Ubuntu 18.04, Anda perlu menambahkan satu lagi pemilih elemen agar ini berfungsi.

Paul sebagian besar benar. Solusi yang diperluas ini bekerja mulai dari Ubuntu 14.04.1 dengan Terminal GNOME 3.6.2 .

Untuk semua versi:

1. Tambahkan kode berikut ke ~/.config/gtk-3.0/gtk.css:
   

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

   Sunting: Anda harus membuat file jika belum ada (terima kasih jonS90).

2. Bunuh semua instance dari gnome-terminal:

   $ killall gnome-terminal
   

3. Mulai ulang terminal gnome.

Saya mencoba semua jawaban di sini di Ubuntu 16.10 dengan gnome-terminal 3.20.2 dan tidak berfungsi. Saya menemukan solusi terbaru di utas launchpad ini . Dalam file ~/.config/gtk-3.0/gtk.css(yang mungkin perlu Anda buat), tambahkan ini:

vte-terminal {
    padding: 10px;
}

Untuk memindahkan output terminal dari batas jendela, buat stylesheet ~ / .config / gtk-3.0 / gtk.css dengan pengaturan berikut:

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

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

Anda dapat melakukannya dengan beberapa terminal, misalnya xterm lama

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

Dalam manual ini man xtermAnda menemukan cara mengatur font, warna foreground dan latar belakang. Mungkin sedikit rumit untuk dikonfigurasi, tetapi sangat fleksibel.

Silakan melalui masalah ini - Unity Terminal 16.04

Komentar pada Wishlist menggambarkan solusi yang sangat tepat untuk Terminal Ubuntu 16.04, di mana kita perlu mengubah file ~/.config/gtk-3.0/gtk.css:

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

UNTUK

VteTerminal {
    padding: 10px;
}

paddingbekerja sama seperti CSS normal padding.

Dulu, dulu ada X Resources . Membuat .Xdefaultsatau .Xresourcesfile di direktori home Anda, Anda dapat mengubah segala macam pengaturan untuk aplikasi grafis.

Sistem lebar default pada kotak saya ditemukan di /etc/X11/Xresourcesdan /etc/X11/app-defaultstetapi saya tidak tahu apakah terminal gnome peduli untuk salah satu dari mereka.

Sunting : juga, ini sepertinya "tema departemen", jadi mengedit file tema atau memulai gnome-terminal dengan .gtkrcfile kustom dapat melakukan triknya, seperti

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

di terminal, atau mengedit gnome-terminal.destktop di atas agar terlihat seperti

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

bisa bekerja.

Saya tidak dapat menemukan parameter padding di editor gconf atau dconf. Saya melakukan pencarian di "terminal" dengan Pusat Perangkat Lunak dan menemukan sejumlah aplikasi terminal. Gnome digunakan untuk memudahkan untuk menentukan aplikasi terminal yang berbeda tetapi banyak hal telah berubah. /usr/share/applications/gnome-terminal.desktop adalah tempat aplikasi terminal untuk dieksekusi ditentukan. Buka file itu dan Anda akan menemukan:

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

Exec = gnome-terminal dapat diubah untuk memilih aplikasi terminal yang berbeda. Mengedit file ini sedikit terlibat karena tipe mime mereka tidak dikenali oleh naultilus sebagai dapat diedit. Anda harus memulai pengeditan dari baris perintah sebagai berikut:

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

Setelah melakukan perubahan itu, aplikasi terminal dapat dimulai sama seperti sebelumnya tetapi aplikasi terminal alternatif Anda akan dijalankan.

Sebagai alternatif, saya telah menggunakan solusi di mana Anda mengubah left_widthparameter (metacity 2) tema menjadi 15atau 20piksel.

Ini membuat batas jendela tebal di sisi kiri dan menggerakkan margin kiri efektif di dalam jendela. Ini berfungsi baik bagi saya karena warna batas jendela dan warna latar belakang untuk terminal sudah dekat.

Saya meneliti ini secara menyeluruh dan satu-satunya cara lain untuk melakukannya adalah beralih ke xtermterminal seperti yang disebutkan di atas. Namun, mengonfigurasi xterm adalah hal yang menyusahkan dan harus dilakukan melalui .Xresourcesfile konfigurasi, tidak ada menu dengan xterm.