diff options
author | Rob Austein <sra@hactrn.net> | 2012-05-08 02:53:43 +0000 |
---|---|---|
committer | Rob Austein <sra@hactrn.net> | 2012-05-08 02:53:43 +0000 |
commit | 8962a73b25bda6329591dc2954ea3130d592344c (patch) | |
tree | 74a2d7a21a873a7646c9805f2e434d8f5c0e9c41 | |
parent | ad4d29752f2d637ab0d740e22f8f73807f4cdd06 (diff) |
Re-add command line history feature lost during myrpki -> myrpkic transition.
svn path=/trunk/; revision=4478
-rw-r--r-- | rpkid/rpki/rpkic.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rpkid/rpki/rpkic.py b/rpkid/rpki/rpkic.py index 90b75bb0..d3d35b3d 100644 --- a/rpkid/rpki/rpkic.py +++ b/rpkid/rpki/rpkic.py @@ -104,6 +104,7 @@ class main(rpki.cli.Cmd): cfg = rpki.config.parser(cfg_file, "myrpki") cfg.set_global_flags() + self.histfile = cfg.get("history_file", ".rpkic_history") from django.conf import settings |