Skip to content
This repository has been archived by the owner on Oct 5, 2022. It is now read-only.

Can not edit file by default in Ubuntu #169

Closed
heyfluke opened this issue Apr 21, 2019 · 2 comments
Closed

Can not edit file by default in Ubuntu #169

heyfluke opened this issue Apr 21, 2019 · 2 comments

Comments

@heyfluke
Copy link

See this gist https://gist.github.com/heyfluke/b8372df866ec2584f9a51ca7d7fe9ebb

@marcdumais-work
Copy link
Member

Hi @heyfluke ,

Thanks - nicely written guide. If I understand correctly, this would potentially help users who want to run Theia in Docker locally (or on a host they control), in a way that avoids permission issues when creating/modifying files from a host volume?

I noted there may be a limitation to the suggested method: I do not see my "work" (LDAP user with high uid) user listed in /etc/subuid / /etc/subgid, though I see my local test accounts.

@stale
Copy link

stale bot commented Jul 16, 2019

This contribution has been automatically marked as stale due to inactivity, and it will be closed if no further activity occurs. Thank you for contributing to Theia!

@stale stale bot added the stale label Jul 16, 2019
@stale stale bot closed this as completed Aug 15, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

2 participants