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.
You can access them by running
gnome-control-center
. Many of them are not separate applications, but are modules which are embedded in the control center directly.You can directly open the Network Proxy Settings tool, with the following command,
gnome-control-center network