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

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

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:

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,

W systemie Ubuntu 17.04 tych wpisów nie ma w edytorze gconf

— phant0m

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

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