Sorry; I'm pretty illiterate when it comes to Unix -- indeed, I don't know what "shell" means. Quite simply, I wanted to change certain permissions regarding my daughter's account, but, since she was logged in, I first had to switch to her account and log her out, then switch back to mine. So my question is: is there something I could have typed in Terminal after the prompt to log her out? Assume her account is called "daughter": what should I type?