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

asked 2011-06-01 22:05:18 +0100

jek gravatar image

updated 2011-06-03 19:29:08 +0100

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: 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.

edit retag flag offensive close merge delete


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 ( 2011-06-01 23:50:16 +0100 )edit

Ok, updated above.

jek gravatar imagejek ( 2011-06-03 19:29:24 +0100 )edit