How to Copy and Paste from Workspace Terminal

Here are the steps to follow if you are facing trouble with the shortcuts.

Written by Alessio Gozzoli
Updated over a week ago

To paste: Ctrl+Shift+V (not Ctrl+V )
To copy: select text, then Shift+RightClick . This will show the system menu for copy, paste, etc.

Note: This issue is mostly affecting Windows users.