Próbuję znaleźć plik konfiguracyjny terminala gnome w Ubuntu 16.04, ale nie mam szczęścia. Chcę, aby kursor nie przestał migać, i prawdopodobnie istnieje parametr limitu czasu, który mogę zmienić, ale nie mogę znaleźć pliku, aby to zrobić. Wiem, że można to zrobić za pomocą edytora dconf, ale z jakiegoś powodu to nie działa (myślę, że usunąłem pewne zależności lub inne).
gnome
gnome-terminal
Alcuin Arundel
źródło
źródło
cat dump.txt | dconf load /org/gnome/terminal/legacy/profiles:/
dconf dump /org/gnome/terminal/
. Zobacz także askubuntu.com/questions/967517/backup-gnome-terminal/967535 .Odpowiedzi:
Nie ma pliku konfiguracyjnego.
gnome-terminal
Zarządza wszystkimi jego ustawienia poprzezdconf
(albogconf
w starych wydaniach Ubuntu), która jest porównywalna do rejestru Windows. Jest to plik binarny zoptymalizowany do szybkiego odczytu jego wartości, nie można go edytować ani przeglądać ręcznie jak dokumentu tekstowego.Jeśli
dconf-editor
narzędzie lub jakiekolwiek narzędzie, którego próbujesz użyć, nie działa, musisz najpierw poprawić ten błąd.Dla kompletności, ale prawdopodobnie już widziałeś te linki (które tylko wspominają
dconf
/gconf
, oczywiście):Jak wyłączyć migający kursor w terminalu gnome?
Jak wyłączyć migający kursor w Gnome 3.8?
źródło
GNOME Terminal
nie oferuje oddzielnej opcji, ale przestrzegaGNOME
domyślnej, która znajduje się wdconf
kluczu/org/gnome/desktop/interface/cursor-blink-timeout
(w sekundach).Podnieś to do gigantycznej wartości, jeśli wolisz, aby kursor nadal mrugał, np
źródło
Uwaga: nie będziesz musiał instalować żadnego programu ani usuwać żadnych plików.
Aby edytować
gnome-terminal
preferencje bez faktycznego otwierania lub używania,gnome-terminal
przejdź doNastępnie zlokalizuj Terminal w folderze.
Następnie otwórz jego właściwości, klikając prawym przyciskiem myszy Terminal .
Tam zobaczysz polecenie .
Tak właśnie dzieje się po otwarciu terminala. Aby edytować preferencje, zmień polecenie na
gnome-terminal --preferences
.Voila
Po „naprawieniu” ustawień. Wystarczy zamknąć preferencje, a następnie usunąć
--preferences
z polecenia w oknie właściwości. Teraz po prostu otwórz terminal, jak zwykle.EDYCJA : Jeśli korzystasz z interfejsu wiersza poleceń, po prostu użyj polecenia
gnome-terminal --profile=default
źródło