These are procedures used to manage a session with THUD.
— Procedure: quit
Bye!
— Procedure: cd path
Change current (default) working directory to path, then display
the new directory. path can be relative or absolute. To mimic
"pwd", use cd ..
— Procedure: thud-execute-user-script file
This procedure sets the current module correctly, then loads file.
(The current-module is saved before reading and restored after finishing.)
You can emulate the -x FILE command-line sequence in a script by
doing: (thud-execute-user-script FILE).