This is probably a stupid question, so apologies if it is.
I use two tools for server administration, SSH, and also the mysql command-line client. When using the Whonix workstation, are but of these tools suing Tor? How can I be sure that the connection to a mysql database from the Whonix terminal is over Tor? Like wise with SSH?