On Wed, Oct 04, 2017 at 09:04:43PM +0200, Sebastian Benoit wrote: > I also noticed that the help message does not tell you to use exit to quit > ;) >
I noticed this too but as ^D is a well-known command to exit a shell, I wonder if it is useful to add exit to the help message. Plus it is not relevant for bgplg (they share the command list/help message).