The shell

The shell can be accessed over ssh by running:

ssh shell

It doesn't matter what user name you connect with, but you need to use the SSH key that you used when your account was registered.

The shell provides you with commands for showing info about builds and derivations. You can run the command help to get a list of available commands. New functionality is added continuously.

readline support

The shell doesn't yet have support for command history or many other features that you could expect from a proper shell. However, you can use the rlwrap program to mitigate this:

rlwrap ssh shell

This will make things like Up/Down arrow keys and CTRL-R to work as you would expect.