I've screwed this up every time I've used the CLI and people everyone will if we don't fix this mess which is my fault.
I wasn't sure what a better command for submitting a task would be than task. But because starting a task giver process uses start task this is confusing. Obviously...
I'm proposing we change task to submit.
With this change it is also tempting to get rid of the start command. But the start command has too many semantic advantages in my opinion. Specifically, that using the start command you are starting a specific type of process to run in the background. We can also add a stop command that uses the task, solve, verify categorization to make it easier to search.
I've screwed this up every time I've used the CLI and people everyone will if we don't fix this mess which is my fault.
I wasn't sure what a better command for submitting a task would be than
task
. But because starting a task giver process usesstart task
this is confusing. Obviously...I'm proposing we change
task
tosubmit
.With this change it is also tempting to get rid of the
start
command. But thestart
command has too many semantic advantages in my opinion. Specifically, that using thestart
command you are starting a specific type of process to run in the background. We can also add astop
command that uses thetask
,solve
,verify
categorization to make it easier to search.