We can detect when something like a server is not set.
Usually this means that a student is running something in an unintended directory.
We can both detect this and create a CLI (maybe automatically invoked in this situation),
where we can setup a user-level config for a user.
Here we can set more stable things: user, pass, server,
and optionally set more volatile things: course and assignment.
We can detect when something like a server is not set. Usually this means that a student is running something in an unintended directory.
We can both detect this and create a CLI (maybe automatically invoked in this situation), where we can setup a user-level config for a user. Here we can set more stable things: user, pass, server, and optionally set more volatile things: course and assignment.