The shell is dash, compiled from C. We run each command as dash -c "$COMMAND" Processes can change their current directory (We support the chdir(2) system ca

The shell is dash, compiled from C. We run each command as dash -c "$COMMAND" Processes can change their current directory (We support the chdir(2) system call), but the way the shell demo is currently implemented no state is retained between command invocations. We plan to address this shortcoming soon as part of a bigger TTY refactoring.