Debugging TUX

To print out the state and various other information about TUX, execute the gettuxconfig script. You must be root to run this script.