Function default_workspace 

pub fn default_workspace(workspace_env: Option<&OsStr>, user: &str) -> PathBuf

Workspace directory of a new game: $SHELLGAME_WORKSPACE, else /tmp/shellgame-{user}.

An empty $SHELLGAME_WORKSPACE counts as unset.