Existe uma maneira de reiniciar o GNOME Shell que não seja usando Alt+ F2, R+ Enter?
Com relação à pergunta, passei por Diferença entre `gnome-shell --replace` e r em Alt+F2 , mas não consegui o que estava procurando.
Estou procurando um comando que faça exatamente o que Alt+ F2, r+ Enterfaz.
Por favor, note que eu não estou disposto a fazer o gnome-shell -- replace
comando ...
Eu verifiquei as duas coisas Alt+ F2, r Entere gnome-shell --replace
...
Há muita diferença, eu encontrei ...
O comando para fazer isso é ( Testado no Ubuntu 20.04 Only )
Eu também queria reiniciar o shell do gnome programaticamente porque parece que há algum tipo de vazamento de memória no Ubuntu 19.10.
gnome-shell
começa a consumir pouco mais de 200 MB mas após várias horas de uso pode chegar a mais de 900 MB.alt+f2,r,enter
resolve o problema graciosamente. Uma pequena mensagem "reiniciando" aparece. A mudança é quase imperceptível, todas as janelas mantêm sua posição e os programas em execução mantêm seu estado. Apenas o plano de fundo da área de trabalho parece piscar enquanto recarrega.Ao usar
gnome-shell --replace
alguns programas são mortos com todo o trabalho neles perdido, as janelas que sobrevivem podem mudar de posição e várias partes da tela parecem ser redesenhadas. Eu também tenteikillall gnome-shell
com resultados semelhantes.Infelizmente, não acho que haja uma maneira de acessar essa funcionalidade a partir da linha de comando, pois ela está incorporada no código do gnome-shell para o RunDialog GObject:
gnome-shell > js > ui > runDialog.js [37]
Como mencionou Diego F. Rodríguez V. , não há como acessar a partir de um terminal. No entanto,
está muito próximo e mantém sua sessão ativa intacta. Ele envia um sinal QUIT (SIGQUIT) e, como o gnome-shell está configurado para iniciar automaticamente sempre que o X estiver ativo, tecnicamente ele faz uma coisa semelhante.
pode ser feito também, mas requer um PID (ID do processo) como argumento, que pode ser encontrado via