Gdzie profile systemu Gnome-Terminal są przechowywane w systemie plików?

15

Utworzyłem nowy profil, który otworzyłem za pomocą programu fortune (atp-get install fortune-mod dla lokalizacji pobierania) i ustawiłem go jako profil, za pomocą którego można otwierać wszystkie nowe terminale, aby uzyskać nową fortunę po otwarciu terminala . Niestety nie wiedziałem, aby ustawić „terminal wyjściowy, gdy proces wychodzi” na coś innego, aby nie wychodził prawie natychmiast. Obecnie kończy działanie, gdy tylko fortuna się kończy, co jest prawie natychmiastowe i muszę usunąć profil, ale nie mogę skorzystać z opcji terminalu „zarządzaj profilami”, ponieważ kończy się zbyt szybko, aby nawet spróbować otworzyć menu edycji, nie mówiąc już o usunięciu profilu. Muszę wiedzieć, w którym katalogu jest zapisany profil, aby można go było usunąć ręcznie. Próbowałem przeprowadzić wyszukiwanie całego systemu, ale wyniki tego wyszukiwania to mnóstwo plików i folderów i nie mam czasu, aby je wszystkie otworzyć. Doceniam wszelką pomoc, jaką mogę uzyskać. Z góry dziękuję.

gnome-terminal Marcello Nicoletti
źródło
1
Jak zaimportować profil terminala gnome z bazy danych dconf
bartolo-otrit
Uwaga: komentarz / link z @ bartolo-otrit odnosi się do gnome-terminalprofili w dconf(uwaga D ) - ale w Ubuntu 14 gnome-terminalprofile są w gconf(uwaga G ); a dla gconfmożesz zajrzeć do ~/.gconf/apps/gnome-terminal/profili
sdbbs

Odpowiedzi:

14

Profile terminala GNOME są przechowywane w systemie konfiguracji GConf . Aby zmodyfikować je bezpośrednio, naciśnij Alt+, F2aby wyświetlić pole „Uruchom polecenie”, wprowadź gconf-editor, a następnie przejdź do /apps/gnome-terminal/profiles.

Odznaczenie /apps/gnome-terminal/profiles/Default/use_custom_commandpowinno rozwiązać twój problem.

Alternatywną metodą wyjścia z tej sytuacji jest zastąpienie niestandardowego polecenia przez podanie innego jako argumentu wiersza polecenia, np. Jeszcze gnome-terminal -x bashraz w polu „Uruchom polecenie”.

ændrük
źródło
Alternatywna metoda okazała się tą, która zadziałała. Dziękuję Ci bardzo. Głosowałbym, ale nie mam 15 reputacji :(
Marcello Nicoletti,
Alternatywne polecenie jest również jedynym działającym. W edytorze gconf nie było pola wyboru „use_custom_command.
Balinus,
@ ændrük przepraszam, że tak długo trwa akceptacja. Właśnie dostałem powiadomienie na to pytanie, które przyniosło mi wiele lat później.
Marcello Nicoletti,
3
W systemie Ubuntu 17.04 tych wpisów nie ma w edytorze gconf
phant0m
1
Profile # GNOME Terminal 3.32.1są przechowywane w dconfnie gconfkomentarz na to pytanie wydaje się sugerować, że powinny one zostać przeniesione automatycznie do dconf, ale nie mam, że do pracy askubuntu.com/questions/906137/...
EoghanM
2

Możesz także uruchomić xterminny emulator terminala dostępny w Ubuntu. Stamtąd możesz uruchomić dowolne potrzebne polecenia.

Aby ustawić go jako domyślny terminal, uruchom:

sudo update-alternatives --config x-terminal-emulator

I zmień wartość domyślną na dowolną.

Innym podejściem do naprawy Gnome Terminal jest użycie Nautilus (menedżera plików), aby usunąć wszystkie niestandardowe preferencje:

  • Przejdź do ~/.gconf/apps/gnome-terminal(jest to ukryty folder, kliknij, CTRL+Haby wyświetlić)
  • Edytuj xmltam pliki lub po prostu usuń cały gnome-terminalfolder
  • Otwórz terminal Gnome ponownie, zostanie przywrócony z ustawieniami fabrycznymi
MestreLion
źródło