This is admittedly a small one, but would still save some time. When I right-click on a file in the filetree in any Jupyter NB and select "Copy Path", the path that is copied starts with "workspace". It would be nice if it just copied the whole path starting with /home/jovyan/work.
Expected behaviour
I expect "Copy Path" to copy the full path, starting with /home/jovyan/work.
Actual behaviour
"Copy Path" begins at workspace.
Steps to reproduce
n/a
Note: your environment was attached but will not be displayed
Long story short
This is admittedly a small one, but would still save some time. When I right-click on a file in the filetree in any Jupyter NB and select "Copy Path", the path that is copied starts with "workspace". It would be nice if it just copied the whole path starting with /home/jovyan/work.
Expected behaviour
I expect "Copy Path" to copy the full path, starting with /home/jovyan/work.
Actual behaviour
"Copy Path" begins at workspace.
Steps to reproduce
n/a
Note: your environment was attached but will not be displayed