Pluto.jl: Don't launch browser over SSH

[aramirezreyes]

A new version merged #190 .

This brings a minorly annoying feature when using Pluto through ssh:
After doing Pluto.run()

1.-It first launches a w3m instance that takes over the terminal (So you won't see Pluto's logs)
2.- After closing w3m it tries launching all other browsers.

If you are connected through ssh to a headless system it doesn't really make sense to try opening a graphical browser.

I am not an expert, but maybe somehow checking if the process is running in an ssh session before trying to launch a graphical browser could be better?

[Immortalin]

Can we add an argument to Pluto to disable opening browsers in general?

[Moelf]

I agree, the most annoying thing (happens when you use a new cluster/note/machine) is when it tries to open browser and you had ssh -Y. For now you have to:

EDIT by @fonsp

Pluto.run(launch_browser=false)

[fonsp]

How do we detect that Pluto is running over SSH? I don't think we can do that?

The launch_browser option was added exactly for these kinds of setups! I don't think there's a better way to do it, but feel free to suggest otherwise.

Pluto.run(launch_browser=false)