diff options
| -rw-r--r-- | rpkid/rpki/cli.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rpkid/rpki/cli.py b/rpkid/rpki/cli.py index 38bef37a..80f8587f 100644 --- a/rpkid/rpki/cli.py +++ b/rpkid/rpki/cli.py @@ -89,6 +89,13 @@ class Cmd(cmd.Cmd): """ self.stdout.write(self.help_help.__doc__ + "\n") + def complete_help(self, text, *ignored): + names = self.get_names() + result = [] + for prefix in ("do_", "help_"): + result.extend(s[len(prefix):] for s in names if s .startswith(prefix + text)) + return result + if have_readline: def cmdloop_with_history(self): |