I wish I felt the same about Linux, really do, that could have saved me some money. But alas though not as bad Windows, has still long way to go before it convince me to replace MacOS with it. The driver support is still quite bad. Pharo dropping support for older Ubuntu versions forced me to return back to Win 7 (my pc at work is dual boot Win 7 / Ubuntu 13.10 )

I am surprised though that it auto updates. Definitely a plus. ��

Well don't modify the bash script just because I want it. Its not a big deal to add the bash line myself.��

On Sun, Jun 8, 2014 at 8:51 PM, Damien Cassou <damien.cassou@gmail.com> wrote:

On Sun, Jun 8, 2014 at 7:36 PM, kilon alios <kilon.alios@gmail.com> wrote:

I am using the default on MacOS which is Preview, though I doubt the situation is any different for Linux or Window. I would be highly surprised if any default pdf viewers auto reload when the pdf is modified or recreated. A refresh button would be a better option only if I could tie it to a shortcut , because the process of navigating to the menu to press refresh is as time consuming as double click to reopen it. Preview has no refresh button as far I can tell.��

ok then, you can modify the script and use the PDFVIEWER environment variable. Still, the default pdf client on Ubuntu refreshes automatically when the PDF updates. It is so useful that I stupidly thought even paying OS had this. I should have known better. In French we say "Linux: y'a moins bien, mais c'est plus cher" (Linux: you can find worse but that's more expensive) :-)

--
Damien Cassou
http://damiencassou.seasidehosting.st

"Success is the ability to go from one failure to another without losing enthusiasm."
Winston Churchill