diff options
Diffstat (limited to 'rpkid/rpki/cli.py')
| -rw-r--r-- | rpkid/rpki/cli.py | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/rpkid/rpki/cli.py b/rpkid/rpki/cli.py index 2443e1b3..38bef37a 100644 --- a/rpkid/rpki/cli.py +++ b/rpkid/rpki/cli.py @@ -47,11 +47,17 @@ class Cmd(cmd.Cmd): self.cmdloop_with_history() def do_EOF(self, arg): + """ + Exit program. + """ if self.EOF_exits_command_loop and self.prompt: print return self.EOF_exits_command_loop def do_exit(self, arg): + """ + Exit program. + """ return True do_quit = do_exit @@ -76,6 +82,13 @@ class Cmd(cmd.Cmd): result.add(result.pop() + " ") return list(result) + def help_help(self): + """ + Type "help [topic]" for help on a command, + or just "help" for a list of commands. + """ + self.stdout.write(self.help_help.__doc__ + "\n") + if have_readline: def cmdloop_with_history(self): |