Editar arquivos de configuração tilda durante a execução de tilda

0

Eu gosto de adaptar o estilo do meu terminal, dependendo do que estou fazendo por dentro. Usando o tilda , estou procurando uma maneira de alterar dinamicamente a forma do cursor, digamos, com uma linha de comando.

Eu sei que esta opção pode ser alterada sem ter que reiniciar tilda , já que posso fazer isso no editor de configuração gui. No entanto, executando

sed "s/^cursor_shape = 0/cursor_shape = 1/" -i ~/.config/tilda/config_0

não funciona, mesmo que altere o arquivo desejado da maneira desejada. Além disso, a alteração é cancelada se eu sair do tilda e reiniciá-lo, o que significa que algumas informações são armazenadas em outro lugar de alguma forma.

Existe alguma maneira de eu fazer essa mudança imediatamente efetiva? (como uma função que eu chamaria para fazer tilda ler o arquivo de configuração novamente?)

    
por iago-lito 20.07.2015 / 23:06

1 resposta

2

Obrigado ao Lanoxx , que está atualmente desenvolvendo tilda . Agora posso responder a essa pergunta.

tilda salva a configuração ao sair para os arquivos de configuração. Portanto, editá-los enquanto está em execução não tem efeito. Alterar a configuração da linha de comando ainda não é suportado. Isso exigiria que uma interface dbus fosse implementada em relação a tilda , o que é um trabalho e provavelmente não será feito em breve. tilda ainda é um excelente emulador de terminal:)

    
por 21.07.2015 / 09:10