그놈 터미널에서 패딩 증가


41

그놈 터미널에서 패딩을 늘리고 싶습니다. 기본적으로 패딩 이 없고 내 눈을 아프게 하기 때문 입니다.

(처럼 패딩 : 창 테두리와 텍스트 입력 / 출력이 표시되는 위치 사이에 공백이 필요합니다.)

예를 들면 다음과 같습니다.

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

답변:


34

2018 년 6 월 2 일 수정 : Ubuntu 18.04부터이 기능을 사용하려면 요소 선택기를 하나 더 추가해야합니다.


바울은 대부분 옳았습니다. 이 확장 된 솔루션은 그놈 터미널 3.6.2 와 함께 우분투 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. 그놈 터미널의 모든 인스턴스를 종료하십시오.

    $ killall gnome-terminal
    
  3. 그놈 터미널을 다시 시작하십시오.


2
지정된 gtk.css 파일이 시스템에 없습니다. 나는 그것을 만들어야했다 (그리고 솔루션은 효과가 있었다).
jonS90

이것은 판테온 터미널 (기본 OS Loki)에서도 완벽하게 작동합니다.
Vishnu M.

2
해당 숫자가 모서리와 어떤 관련이 있는지 기억하는 문제가 있으면 오른쪽 상단 왼쪽 아래입니다.
Terry Brown

1
@TerryBrown TROUBLe는 좋은 방법입니다. 다른 하나는 12-3-6-9 (위, 오른쪽, 아래쪽, 왼쪽)와 같은 아날로그 시계에서 진행되는 손을 생각하는 것입니다.
WinEunuuchs2Unix

9

나는 그놈 터미널 3.20.2로 우분투 16.10에서 모든 대답을 시도했지만 작동하지 않았습니다. 이 런치 패드 스레드 에서 최신 솔루션을 찾았습니다 . 파일 ~/.config/gtk-3.0/gtk.css(생성해야 할 수도 있음)에서 다음을 추가하십시오.

vte-terminal {
    padding: 10px;
}

우분투 17.04에서도 작동한다는 것을 확인할 수 있습니다.
Alp Dener

17.10에서 작동합니다.
blockloop

그래서 3 줄만 갖도록 gtk.css를 작성합니까? 아니면 어떻게 기본 설정을 만들 수 있습니까?
Robin Hsu

@RobinHsu 파일이 존재하면 끝에 추가하십시오. 그렇지 않은 경우 작성하고 추가하십시오.
phrz

Ubuntu 18.04에서는 작동하지 않습니다.
Alexandre Verri


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에서는 작동하지 않습니다.
Alexandre Verri

2

옛날에는 X Resources가 있었습니다. 홈 디렉토리에 파일 .Xdefaults또는 .Xresources파일을 작성하면 그래픽 응용 프로그램의 모든 설정을 변경할 수 있습니다.

내 상자에 시스템 전체 기본값에서 발견 /etc/X11/Xresources하고 /etc/X11/app-defaults하지만 난 알고하지 않는 어떤을위한 그놈 터미널 걱정.

편집 : 또한 이것은 "테마 부서" .gtkrc처럼 보이 므로 테마 파일을 편집하거나 사용자 정의 파일로 그놈 터미널을 시작 하면 트릭을 수행 할 수 있습니다.

$ 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 편집기에서 패딩 매개 변수를 찾을 수 없습니다. 소프트웨어 센터에서 "터미널"을 검색하여 여러 터미널 응용 프로그램을 찾았습니다. 그놈은 다른 터미널 응용 프로그램을 쉽게 지정할 수 있었지만 상황이 약간 바뀌 었습니다. /usr/share/applications/gnome-terminal.desktop은 실행할 터미널 응용 프로그램이 지정된 위치입니다. 해당 파일을 열면 다음을 찾을 수 있습니다.

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

Exec = gnome-terminal을 변경하여 다른 터미널 응용 프로그램을 선택할 수 있습니다. Naultilus는 MIME 유형이 편집 가능한 것으로 인식되지 않기 때문에이 파일을 편집하는 것은 약간 복잡합니다. 다음과 같이 명령 행에서 편집을 시작해야합니다.

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

터미널 응용 프로그램을 변경하면 이전과 동일하게 시작할 수 있지만 대체 터미널 응용 프로그램이 실행됩니다.


1

또는 테마의 (metacity 2) left_width매개 변수를 15또는 20픽셀로 변경하는 해결 방법을 사용했습니다 .

이렇게하면 창 테두리가 왼쪽에서 두껍게되고 유효 왼쪽 여백이 창 안에서 이동합니다. 터미널의 창 테두리 색과 배경색이 가까워서 괜찮습니다.

나는 이것을 철저히 연구했으며 그것을 할 수있는 유일한 다른 방법은 xterm위에서 언급 한 것처럼 터미널로 전환하는 것 입니다. 그러나 xterm을 구성하는 것은 쉽지 .Xresources않으며 구성 파일을 통해 수행해야합니다 . xterm에는 메뉴가 없습니다.

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.