I'd like to change the name of a user on my server. An alternative would be to delete the user and add them again with the new name. I can't figure out how to do this. The "User Management" interface in the notebook itself has an "Add User" but not a "Del User." In the reference manual I can see that there is a del_user() function for a notebook. But, the part I'm stuck on is:
nb = load_notebook(dir)
I can't figure out what "dir" is. In other words, I don't know how to find out what that directory is. This is a server that I normally start up by doing the notebook() call (that is, I haven't done anything to put it in any particular directory).
