-
Notifications
You must be signed in to change notification settings - Fork 0
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
Allow admins to rename user home directories #5
Comments
So the workflow would be something like:
Some questions:
|
Hey @GeorgianaElena! This looks good. One thing to think of is that admins might need to change user names incrementally, rather than in one go. If you are switching from Google to GitHub, admins might not know all the GitHub usernames immediately. So I think we should just mount all user homes to something like
This also enables a few other use cases:
How does that sound? |
It sounds really good. I do have one other question though.
This should be optional (for the hubs that want a different auth method) or should we do this for all hubs? |
@GeorgianaElena that actually sounds good. We have #4 that talks about different 'kinds' of shared folders, and this could be one. So to begin with, we can enable it just for a hub that wants it, and turn it off after. Can you try turning it on for staging? |
Background
When a hub switches authentication methods, the users' get a new name. For example, with GitHub my username is
yuvipanda
while with Google it might be[email protected]
. Most of our infrastructure doesn't care about usernames, except home directories. So while my home directory with GitHub might be at/export/homes/yuvipanda
, with Google it might be/export/homes/[email protected]
. So we need to support renaming users when authentication methods change.User stories
As a hub administrator, I want to be able to rename user home directories, so that if we change authentication for our hub, the users will be able to keep their old home directories.
This is a somewhat rare occasion, so we don't need to over-do it. This should also be as self-serve as possible.
Implementation
My suggestion is that we mount all users' home directories at something like
~/shared/admin/homes
for admins, and then admins can do the renaming themselves. This shouldn't be on by default, since an accidentalrm -rf .
on an admin's home directory will wipe out everyone's workTo Do
The text was updated successfully, but these errors were encountered: