-
Notifications
You must be signed in to change notification settings - Fork 150
Open
Labels
Description
Proposed change
return ['theia', 'start', '.', '--hostname=127.0.0.1', '--port=' + str(port)] |
Here we have current directory '.' as Theia working directory. In Kubernetes, I have Theia notebook (Docker) image where Theia is compiled in /home/node and this is default directory. When notebook starts and Theia opens, when I click on File -> Open I see the same directory and I actually want to open in /home/node/workspace where I have mounted external volume. Unfortunatelly, if I make /home/node/workspace as default directory, Theia won't start because it doesn't find package.json and src-gen directory there.
Who would use this feature?
Everyone using Jupyterhub on Kubernetes.
chrxsxyz