On 2018-05-17 18:49:49 +0200, Reiner Herrmann wrote:
> I'm currently not able to reproduce it.
You need to run the firefox script twice: The first one, typically
with no argument (the goal is to restore and use the previous session).
The second one with a URL in argument, the goal being to open this URL
in the running Firefox. It is this second instance that now fails with
Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)