diff options
| author | Rob Austein <sra@hactrn.net> | 2010-04-06 23:22:05 +0000 |
|---|---|---|
| committer | Rob Austein <sra@hactrn.net> | 2010-04-06 23:22:05 +0000 |
| commit | a7d6183da7bae9d1d9843fe367043d0f9598a4e0 (patch) | |
| tree | 3b3a89b38d2c5e093657cce0d3cc7327cd4e9200 | |
| parent | fadad3aeb287e77c985d6e033175ccc4363613e5 (diff) | |
Forgot to update name of default history file back when I merged
setup.py with myrpki.py.
svn path=/myrpki.rototill/myrpki.py; revision=3163
| -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") |