Terminal copy/paste

Historically web browsers were intercepting any text pasted into the terminal. This was pretty annoying.

So.... good news! You can now copy and paste to/from the web terminal. :-)

Browser limitations mean we had to use a slightly different key combination than the native OS key combination for "Paste", but it's a simple workaround:

  • For Windows and Linux: use "Ctrl-Shift-V" (instead of "Ctrl-V")
  • For Mac use "Command-V"

-- Team Dataplicity