Re: Use SIGUSR1 to reload the page

Hi Alex,

On Mon, Sep 02, 2024 at 04:04:30PM +0200, [email protected] wrote:
>Hi Rodrigo,
>
>I find your recent idea[0] to refresh the page on local file changes
>interesting, and it could be a quite useful feature.
>
>[0] https://github.com/dillo-browser/dillo/issues/255

I implemented this on the following PR:

https://github.com/dillo-browser/dillo/pull/290

It reloads the focused tabs on all windows of the given Dillo process 
when a SIGUSR1 signal arrives.

Example to reload a local file test.html:

All Dillo processes:

   echo test.html | entr pkill -SIGUSR1 dillo

Only one with pid 1234:

   echo test.html | entr kill -SIGUSR1 1234

I mostly wanted to quickly reload the changes when I edit an HTML page, 
but this can also be used to monitor a remote page over time, like:

   $ dillo https://twtxt.envs.net/api/plain/tweets &
   $ while [ 1 ]; do sleep 10; pkill -SIGUSR1 dillo; done &

See: https://forums.raspberrypi.com/viewtopic.php?t=330705

Could you test it on OpenBSD, I hope the signaling part continues to 
work fine there.

Best,
Rodrigo.
_______________________________________________
Dillo-dev mailing list -- dillo-dev-lx9mn2B4QYRWk0Htik3J/[email protected]
To unsubscribe send an email to dillo-dev-leave-lx9mn2B4QYRWk0Htik3J/[email protected]