Can you "upgrade" an existing user to have admin privileges?

asked 13 years ago

jek gravatar image

updated 13 years ago

I see that users are stored in a users.pickle file in ...sage_nb/ But the API doesn't seem to have a way to change the admin property. Only to get or create them.

This question: http://ask.sagemath.org/question/497/changing-the-name-of-a-notebook-user asks the similar one of changing the name. It appears you have to programmatically delete and re-create the user.

Creating a user is done with add_user() documented here.

Preview: (hide)

Comments

Can you point out also where it's mentioned how to create a new user with admin privileges? That could be helpful for future readers of this. (I don't know where this is, myself.)

kcrisman gravatar imagekcrisman ( 13 years ago )

Ok, updated above.

jek gravatar imagejek ( 13 years ago )