diff options
author | Frank Ch. Eigler <fche@redhat.com> | 2020-10-01 16:56:49 -0400 |
---|---|---|
committer | Frank Ch. Eigler <fche@redhat.com> | 2020-10-08 11:08:12 -0400 |
commit | 94708e9646017a7ef1c819df3b71bb1ddf8300fc (patch) | |
tree | 5de1371d37fddbc0ade91d403b175b42d74306fb /config/profile.csh.in | |
parent | 759ee34bd265bf2aa54fab3158c6a498b26cc649 (diff) | |
download | elfutils-94708e9646017a7ef1c819df3b71bb1ddf8300fc.tar.gz |
PR25461: add /etc/profile.d files for default $DEBUGINFOD_URLS
To give distros a simple knob to let their userbase enjoy debuginfod
services, we add a --enable-debuginfod-urls[=URLS] to the configury.
This propagates to $DEBUGINFOD_URLS environment variable settings
in /etc/profile.d/debuginfod.{sh,csh} files.
The default is nothing. If simply enabled, the current prototype
public server is used. If enabled with parameters, the builder/distro
can specify a default URL search path of their own.
Signed-off-by: Frank Ch. Eigler <fche@redhat.com>
Diffstat (limited to 'config/profile.csh.in')
-rw-r--r-- | config/profile.csh.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/profile.csh.in b/config/profile.csh.in new file mode 100644 index 00000000..4f25896d --- /dev/null +++ b/config/profile.csh.in @@ -0,0 +1,2 @@ + +setenv DEBUGINFOD_URLS "$DEBUGINFOD_URLS @DEBUGINFOD_URLS@" |