There are times that the desktop environment is messed-up and all the icons disappear, with opened terminal windows kept. I want to log out with command in terminal, and search:
just gave lots of commands and i tried some but none work. So i have to "sudo shutdown -r".Code:man -k log out
At last google helped me and i know gnome-session-save --kill could log one off.
The question is, is there a way for people finding what commands could be used to perform the same as the regular operations with GUI in the desktop environment?
P.S. The network management GUI of Karmic always fails to initiate the NIC for me. So i wrote a script ready to use anytime.
P.P.S. Any suggestions to improve the "man -k" search instead of "man -k log out" are also welcome. I have to agree the man -k can't compete google. But google demands us to be online, what if something unknown happens to your Ubuntu to stop you go online?