Estou tentando encontrar o arquivo de configuração do terminal gnome no Ubuntu 16.04, mas não tive sorte nenhuma. Quero que o cursor não pare de piscar, e provavelmente existe um parâmetro de tempo limite que posso alterar, mas não consigo encontrar o arquivo para fazê-lo. Eu sei que isso pode ser feito através do dconf-editor, mas por algum motivo isso não está funcionando (acho que removi alguma dependência ou outra).
gnome
gnome-terminal
Alcuin Arundel
fonte
fonte
cat dump.txt | dconf load /org/gnome/terminal/legacy/profiles:/
dconf dump /org/gnome/terminal/
. Veja também askubuntu.com/questions/967517/backup-gnome-terminal/967535 .Respostas:
Não há arquivo de configuração.
O
gnome-terminal
gerencia todas as suas configurações atravésdconf
(ougconf
em versões antigas do Ubuntu) que são comparáveis ao registro do Windows. É um arquivo binário otimizado para ler rapidamente seus valores, não é possível editar ou visualizá-lo manualmente como um documento de texto.Se a sua
dconf-editor
ou qualquer outra ferramenta que você está tentando usar não estiver funcionando, é necessário corrigir esse erro primeiro.Apenas para completar, mas provavelmente você já viu esses links (que mencionam apenas
dconf
/gconf
, é claro):Como desabilito o cursor piscando no gnome-terminal?
Como desativar o cursor piscante no Gnome 3.8?
fonte
GNOME Terminal
não oferece uma opção separada para isso, mas respeitaGNOME
o padrão localizado nadconf
chave/org/gnome/desktop/interface/cursor-blink-timeout
(em segundos).Aumente esse valor para um valor gigantesco se você preferir que o cursor continue piscando, por exemplo
fonte
Nota: você não precisará instalar nenhum programa nem remover nenhum arquivo.
Para editar suas
gnome-terminal
preferências sem realmente abrir ou usar,gnome-terminal
vá paraEm seguida, localize o terminal na pasta
Em seguida, abra suas propriedades clicando com o botão direito no Terminal .
Lá você verá o comando .
Isso é realmente o que acontece quando você abre o terminal. Portanto, para editar as preferências, altere o comando para
gnome-terminal --preferences
.Voila
Depois de "reparar" as configurações. Apenas feche as preferências e remova
--preferences
-o do comando na janela de propriedades. Agora basta abrir o terminal como faria normalmente.EDIT : Se você estiver em uma interface de linha de comando, basta usar o comando
gnome-terminal --profile=default
fonte