Pluto.jl: `Ctrl+C` to copy localhost:1234 in the terminal stops Pluto

[fonsp]

[stillyslalom]

Could add a clip=true keyword argument to Pluto.run to use clipboard to send the address to the OS clipboard

[shashi]

which terminal emulator uses Ctrl+C for copy :scream:

[fonsp]

Haha no i meant that people can happily use Ctrl+C in every program to copy things around and then they open a terminal to start Pluto and this happens

[cmcaine]

Jupyter opens the web interface automatically and prompts if you press ctrl+c. I think that's a decent UX for people unfamiliar with terminals.

[fonsp]

Yeah true! This issue would be solved by #190