Hi Alex,
On Mon, Sep 02, 2024 at 04:04:30PM +0200, a...@dismail.de 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@mailman3.com
To unsubscribe send an email to dillo-dev-le...@mailman3.com
