I'm using xmonad, so I can't see the regular Ubuntu menu to get to the tools in the settings and preferences menus. I have to invoke them by name. Does anyone have a list of the names of these tools? (so that they could be started from the command line)
In particular, I need the Network Proxy Settings tool.