menu
Channels
Team

Is there a way to hide root ?

July 13, 2019 at 5:16pm

Is there a way to hide root ?

July 13, 2019 at 5:16pm
is there a way to hide root from the theia app? or prevent the operations on the file like delete?

July 15, 2019 at 7:20am
Could you elaborate what do you mean by root?
  • reply
  • like
You can unbind fs commands with the custom contribution. But a user can always use a terminal to perfrom them. If you want really restrict user access, then you should configure user os.
  • reply
  • like

July 15, 2019 at 2:37pm
root file i mean now we can remove files using delete option from theia menu.. like edit-> delete, i want to disable that feature. for terminal ill configure in the os.
  • reply
  • like
i am using docker
  • reply
  • like
sorry not from edit-> delete. we can delete files using right click and delete
  • reply
  • like
Navigator shows what os allows to access. If you restrict OS then the navigator should not show inaccessible files.
  • reply
  • like
to unregister a command, you need to call CommandRegistry.unregisterCommand with a proper id. Search into Theia codebase commands using labels from UI and then use their IDs.
Edited
  • reply
  • like
i am using docker to configure theia. so what should i do in the docker file?
  • reply
  • like

July 16, 2019 at 6:46am
in docker you should only mount what you want to have, it does not have access to host fs by default
  • reply
  • like
private
This channel has been archived