diff options
author | Sadie Powell <sadie@witchery.services> | 2021-01-18 06:56:18 +0000 |
---|---|---|
committer | Sadie Powell <sadie@witchery.services> | 2021-01-18 07:05:27 +0000 |
commit | a59ed4b39443eb788c15c65501898ca374387e2e (patch) | |
tree | a20c0bee867288e956d171ed733b3c7747c2a316 /make/configure.pm | |
parent | 8b2f3980cc8e5bfb0153981b5ca6b08ca39392c2 (diff) |
Add a new runtime directory and move the pid file to it.
The data directory is intended for persistent files whereas the pid
file is ephemeral. This distinction doesn't matter by default but
on system-wide installs ephemeral runtime files go in /var/run or
/run instead.
Diffstat (limited to 'make/configure.pm')
-rw-r--r-- | make/configure.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/configure.pm b/make/configure.pm index 91e2cc7d6..001de5fc7 100644 --- a/make/configure.pm +++ b/make/configure.pm @@ -192,6 +192,7 @@ sub cmd_update { say 'Updating...'; my %config = read_config_file(CONFIGURE_CACHE_FILE); $config{EXAMPLE_DIR} //= catdir $config{CONFIG_DIR}, 'examples'; + $config{RUNTIME_DIR} //= $config{DATA_DIR}; my %compiler = get_compiler_info($config{CXX}); my %version = get_version $config{DISTRIBUTION}; parse_templates(\%config, \%compiler, \%version); |