그놈 터미널에서 패딩 증가

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

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

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

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



답변

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. 그놈 터미널을 다시 시작하십시오.


답변

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

vte-terminal {
    padding: 10px;
}


답변

터미널 출력을 창 경계에서 멀어지게 이동하려면 다음 설정으로 스타일 시트 ~ / .config / gtk-3.0 / gtk.css를 만듭니다.

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

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


답변

이 문제를 해결하십시오 -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.


답변

옛날에는 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

작동 할 수 있습니다.


답변

예를 들어 오래된 xterm과 같은 일부 터미널에서이를 수행 할 수 있습니다

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

매뉴얼에서
man xterm글꼴, 전경색 및 배경색을 설정하는 방법을 찾을 수 있습니다. 구성하기가 약간 까다로울 수도 있지만 매우 유연합니다.


답변

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

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