diff options
| -rw-r--r-- | myrpki.rototill/myrpki.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/myrpki.rototill/myrpki.py b/myrpki.rototill/myrpki.py index a618577d..78254b8f 100644 --- a/myrpki.rototill/myrpki.py +++ b/myrpki.rototill/myrpki.py @@ -878,7 +878,7 @@ class main(rpki.cli.Cmd): self.cfg = rpki.config.parser(self.cfg_file, "myrpki") - self.histfile = self.cfg.get("history_file", ".setup_history") + self.histfile = self.cfg.get("history_file", ".myrpki_history") self.handle = self.cfg.get("handle") self.run_rpkid = self.cfg.getboolean("run_rpkid") self.run_pubd = self.cfg.getboolean("run_pubd") |