diff options
| -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 |