diff options
| -rw-r--r-- | rpkid/examples/rpki.conf | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/rpkid/examples/rpki.conf b/rpkid/examples/rpki.conf index 3ef99fd6..711e3fb6 100644 --- a/rpkid/examples/rpki.conf +++ b/rpkid/examples/rpki.conf @@ -20,15 +20,20 @@ handle = Me +# Directory where we look for various files. Default is the current +# directory, you might want to change this. + +configuration_directory = . + # Names of various files and directories. Don't change these without # a good reason. -roa_csv = roas.csv -prefix_csv = prefixes.csv -asn_csv = asns.csv -xml_filename = myrpki.xml -bpki_resources_directory = bpki/resources -bpki_servers_directory = bpki/servers +roa_csv = ${myrpki::configuration_directory}/roas.csv +prefix_csv = ${myrpki::configuration_directory}/prefixes.csv +asn_csv = ${myrpki::configuration_directory}/asns.csv +xml_filename = ${myrpki::configuration_directory}/myrpki.xml +bpki_resources_directory = ${myrpki::configuration_directory}/bpki/resources +bpki_servers_directory = ${myrpki::configuration_directory}/bpki/servers # Whether you want to run your own copy of rpkid (and irdbd). You # want this on unless somebody else is hosting rpkid service for you. |