O caminho para atualizar o Dolphin é pressionar F5 . No entanto, isso seria manual.
Para atualizar continuamente, uma solução automática, crie um script bash que seja executado na inicialização. Este script bash deve pressionar F5 a cada cinco segundos se o Dolphin estiver aberto. Crie um arquivo chamado dolphin-update
in /usr/local/bin
com o seguinte conteúdo:
#!/bin/bash
while true; do
PID=$(pgrep "dolphin")
if [ "$?" -ne "0" ]; then
xdotool key 'F5'
fi
sleep 5
done
Pode ser necessário primeiro criá-lo como root e depois alterar o proprietário para seu usuário:
sudo chown username:username /usr/local/bin/dolphin-update
Certifique-se de que tenha permissões executáveis:
chmod +x /usr/local/bin/dolphin-update
Agora precisamos que seja executado na inicialização. Para isso, execute sudo crontab -e
e adicione a seguinte linha ao final do arquivo:
@reboot /usr/local/bin/dolphin-update
Este script será executado na inicialização.
Agora você deve ter um Dolphin continuamente refrescante!
Existem algumas advertências para este script.
- Se você abrir o Dolphin, vá para outro aplicativo onde F5 aciona algo, (por exemplo, o Chromium atualiza a página), o script ainda será executado e será um aborrecimento constante. Solução: Feche o Dolphin quando não estiver usando ativamente.
- Como um trabalho
cron
é usado, se o computador travar, o script não será executado na inicialização. No entanto, isso é um problema com cron
e não no script.
O que o script significa, linha por linha:
-
#!/bin/bash
- shebang para executar com bash
-
while true; do
- é executado continuamente
-
PID=$(pgrep "dolphin")
- encontre o ID do processo de uma instância dolphin
. Isso é apenas para verificar se existe uma instância do Dolphin em execução.
-
if [ "$?" -ne "0" ]; then
- verifica o resultado da existência de uma instância do Dolphin em execução. Se houver, então ...
-
xdotool key 'F5'
- pressione F5
-
fi
- termina o bloco if
-
sleep 5
- aguarde 5 segundos antes de repetir o processo
-
done
- termina o bloco while