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

asked 2011-06-01 15:05:18 -0500

jek gravatar image

updated 2011-06-03 12:29:08 -0500

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 16:50:16 -0500 )edit

Ok, updated above.

jek gravatar imagejek ( 2011-06-03 12:29:24 -0500 )edit