Closed aubertc closed 1 year ago
As of now, the command-line interface can only be terminated using CTRL + C, or equivalent commands. We could either:
As a bonus, we could add a command to restart with a different process.
@aubertc Let me know if this is sufficient!
Yes that's perfect, thanks!
As of now, the command-line interface can only be terminated using CTRL + C, or equivalent commands. We could either:
As a bonus, we could add a command to restart with a different process.