터미널 내에서 Gnome 터미널 기본 설정 변경

터미널 내에서 Gnome 터미널 기본 설정 변경

명령줄 자체에서 배경, 색상 등과 같은 터미널 기본 설정을 편집할 수 있는 방법이 있습니까? 터미널은 그놈 터미널입니다.

저는 Ubuntu 14.04 trusty tahr를 사용하고 있습니다.

답변1

이것이 내가 한 일입니다:

  1. gconf 편집기 설치sudo apt-get install gconf-editor

  2. 터미널에서 실행gconf-editor

  3. 응용 프로그램 > gnome 터미널 > 프로필 > gnome 편집기 내 기본값으로 이동합니다.

그러면 선호하는 키-값 쌍이 열립니다. 원하는 키의 값을 편집합니다.

@jasonwryan에게 정확한 답변을 제공하기보다는 방향을 알려주셔서 감사합니다. 나는 그 과정에서 몇 가지 다른 것들을 배웠습니다.

이제 사용해 보도록 하겠습니다gconftool-2같은 일을하십시오. GUI의 필요성을 없애려고 노력하고 있습니다 :)

유용한 링크:Gconf 란 무엇입니까?

다음에 추가:gconftool-2 사용

gconftool-2 프로그램을 사용하면 사용자가 명령줄에서 Gconf와 상호 작용할 수 있습니다.

예를 들어 터미널의 배경을 어둡게 설정하려고 합니다.

그래서 우리는 설정해야합니다열쇠/apps/gnome-terminal/profiles/Default/Background_darkness 포함(0.50으로 가정)

gconftool-2 --set /apps/gnome-terminal/profiles/Default/background_darkness --type=float 0.50

마찬가지로 다른 키에 해당하는 다른 값을 설정하고 변경할 수 있습니다.

답변2

지적한대로이 문제, 부터우분투 15.10 교활한 늑대인간 gconf다음으로 대체되었습니다.dconf시스템 구성.

이전 버전과 마찬가지로 dconf-editor모드를 보고 구성할 수 있는 GUI 도구를 제공합니다. 설치하려면 다음을 실행하세요.

sudo apt install dconf-editor

마찬가지로 이제 명령줄을 통해 구성을 관리할 수 있습니다 gsetting. 예를 들어 배경을 설정하려는 경우.투명도터미널 수준(50%라고 가정)을 원하는 터미널 프로필로 변경해야 합니다.

dconf, 터미널 프로필이 저장되는 곳 org.gnome.Terminal.Legacy.Profile:이므로 실행 중인 기존 프로필 UUID를 나열한 gsettings get org.gnome.Terminal.ProfilesList list다음 변경하여 원하는 키를 변경할 수 있습니다.

gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:[target-profile-UUID]/ background-transparency-percent 50

변경 사항을 구현하려면 다음 use-transparent-background으로 설정해야 합니다.true

관련 독서

관련 정보