Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Document how to access and modify a user's filesystem #1691

Closed
choldgraf opened this issue Sep 8, 2022 · 0 comments · Fixed by #1708
Closed

Document how to access and modify a user's filesystem #1691

choldgraf opened this issue Sep 8, 2022 · 0 comments · Fixed by #1708
Assignees

Comments

@choldgraf
Copy link
Member

Context

In a recent incident we needed to modify a file in a user's home directory, but the file was preventing hub sessions to start. We weren't sure how to modify the file without spawning a user's session.

We realized that this was possible via exec-homes-shell which is documented in the deployer module.

This is documented ininfrastructure/ as part of deleting a hub, but not in the context of accessing / modifying a user's filesystem.

Proposal

We should have a section in infrastructure/ that is called something like ## How to access and modify a user's filesystem. This is where our documentation about exec-homes-shell should live, and the "move a hub" docs should reference this section. This would make the information more glanceable and discoverable.

Updates and actions

No response

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Development

Successfully merging a pull request may close this issue.

2 participants