tăng phần đệm trong thiết bị đầu cuối gnome


41

Tôi muốn tăng phần đệm trong thiết bị đầu cuối gnome, vì mặc định không có phần đệm và làm tổn thương mắt tôi.

(Đệm như trong: Tôi muốn khoảng trống giữa viền cửa sổ và nơi hiển thị đầu vào / đầu ra văn bản.)

Ví dụ:

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

Câu trả lời:


34

Đã chỉnh sửa ngày 02 tháng 6 năm 2018: Kể từ Ubuntu 18.04, bạn cần thêm một bộ chọn phần tử để làm việc này.


Paul đã gần như đúng. Giải pháp mở rộng này hoạt động kể từ Ubuntu 14.04.1 với Gnome Terminal 3.6.2 .

Đối với tất cả các phiên bản:

  1. Thêm mã sau vào ~/.config/gtk-3.0/gtk.css:

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

    Chỉnh sửa: Bạn sẽ cần tạo tệp nếu nó chưa tồn tại (cảm ơn jonS90).

  2. Giết tất cả các trường hợp của gnome-terminal:

    $ killall gnome-terminal
    
  3. Khởi động lại gnome-terminal.


2
Tệp gtk.css được chỉ định không tồn tại trên hệ thống của tôi. Tôi đã phải tạo ra nó (và sau đó giải pháp hoạt động).
jonS90

Điều này cũng hoạt động hoàn hảo trong thiết bị đầu cuối pantheon (OS Loki cơ bản).
Vishnu M.

2
Nếu bạn có TRouBLe nhớ những con số đó liên quan đến các cạnh như thế nào, thì đó là trên cùng bên phải phía dưới bên trái.
Terry Brown

1
@TerryBrown TRouBLe là một cách hay. Một cách khác là nghĩ về những bàn tay tiến lên trên một chiếc đồng hồ analog: 12-3-6-9 (Trên, Phải, Dưới, Trái).
WinEunuuchs2Unix 16/12/18

9

Tôi đã thử tất cả các câu trả lời ở đây trên Ubuntu 16.10 với gnome-terminal 3.20.2 và chúng không hoạt động. Tôi tìm thấy giải pháp cập nhật trong chuỗi launchpad này . Trong tệp ~/.config/gtk-3.0/gtk.css(mà bạn có thể cần tạo), hãy thêm tệp này:

vte-terminal {
    padding: 10px;
}

Tôi có thể xác nhận rằng điều này cũng hoạt động cho Ubuntu 17.04.
Alp Dener

Hoạt động trong 17.10.
blockloop

Vì vậy, tôi có tạo gtk.css để chỉ có 3 dòng của bạn không? Hoặc, làm thế nào tôi có thể tạo một cái mặc định?
Robin Hsu

@RobinHsu nếu tập tin tồn tại, thêm phần này vào cuối. Nếu không, tạo nó và chỉ thêm cái này.
phrz

Điều này không hoạt động trên Ubuntu 18.04.
Alexandre Verri


3

Vui lòng giải quyết vấn đề này - Unity Terminal 16.04

Nhận xét về Danh sách mong muốn mô tả là các giải pháp rất phù hợp cho Thiết bị đầu cuối Ubuntu 16.04, nơi chúng tôi cần thay đổi tệp ~/.config/gtk-3.0/gtk.css:

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

ĐẾN

VteTerminal {
    padding: 10px;
}

paddinghoạt động giống như CSS bình thường padding.


Điều này không hoạt động trên Ubuntu 18.04.
Alexandre Verri

2

Quay trở lại những ngày xa xưa đó đã từng là X Resources . Tạo một .Xdefaultshoặc .Xresourcestệp trong thư mục chính của bạn, bạn có thể thay đổi tất cả các loại cài đặt cho các ứng dụng đồ họa.

Mặc định toàn hệ thống trên hộp của tôi được tìm thấy /etc/X11/Xresources/etc/X11/app-defaultsnhưng tôi không biết liệu gnome-terminal có quan tâm đến bất kỳ thứ nào trong số đó không.

Chỉnh sửa : đồng thời, đây có vẻ là "bộ phận chủ đề", vì vậy chỉnh sửa các tệp chủ đề hoặc bắt đầu gnome-terminal bằng một .gtkrctệp tùy chỉnh có thể thực hiện thủ thuật, đại loại như

$ GTK2_RC_FILES=~/custom-gtkrc gnome-terminal

trong thiết bị đầu cuối hoặc chỉnh sửa gnome-terminal.destktop ở trên để trông giống như

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

có thể làm việc.


2

Bạn có thể làm điều đó với một số thiết bị đầu cuối, ví dụ xterm cũ

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

Trong hướng dẫn, man xtermbạn tìm thấy cách đặt phông chữ, màu nền trước và màu nền. Có thể một chút khó khăn để cấu hình, nhưng rất linh hoạt.


1

Tôi không thể tìm thấy một tham số đệm trong trình soạn thảo gconf hoặc dconf. Tôi đã thực hiện tìm kiếm trên "thiết bị đầu cuối" với Trung tâm phần mềm và tìm thấy một số ứng dụng thiết bị đầu cuối. Gnome được sử dụng để giúp dễ dàng chỉ định các ứng dụng đầu cuối khác nhau nhưng mọi thứ đã thay đổi một chút. /usr/share/appluggest/gnome-terminal.desktop là nơi chỉ định ứng dụng đầu cuối để thực thi. Mở tệp đó và bạn sẽ tìm thấy:

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

Có thể thay đổi Exec = gnome-terminal để chọn một ứng dụng đầu cuối khác. Chỉnh sửa tập tin này có một chút liên quan vì loại mime của họ không được naultilus nhận ra là có thể chỉnh sửa. Bạn sẽ cần bắt đầu chỉnh sửa từ dòng lệnh như sau:

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

Đã thực hiện thay đổi đó, ứng dụng đầu cuối có thể được bắt đầu giống như trước đây nhưng ứng dụng đầu cuối thay thế của bạn sẽ được chạy.


1

Ngoài ra, tôi đã sử dụng cách giải quyết trong đó bạn thay đổi left_widththam số (độ sáng 2) của chủ đề thành 15hoặc 20pixel.

Điều này làm cho viền cửa sổ dày ở phía bên trái và di chuyển lề trái hiệu quả bên trong cửa sổ. Điều này hoạt động tốt đối với tôi vì màu viền cửa sổ và màu nền cho thiết bị đầu cuối gần.

Tôi đã nghiên cứu kỹ điều này và cách duy nhất khác để làm điều đó là chuyển sang xtermthiết bị đầu cuối như đã đề cập ở trên. Tuy nhiên, cấu hình xterm là một điều khó khăn và phải được thực hiện thông qua .Xresourcestập tin cấu hình, không có menu nào với xterm.

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.