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.cas...@gmail.com> wrote: > > On Sun, Jun 8, 2014 at 7:36 PM, kilon alios <kilon.al...@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 >
