Na}{

File Content: `debuginfod.sh`

# $HOME/.profile* or similar files may first set $DEBUGINFOD_URLS.
# If $DEBUGINFOD_URLS is not set there, we set it from system *.url files.
# $HOME/.*rc or similar files may then amend $DEBUGINFOD_URLS.
# See also [man debuginfod-client-config] for other environment variables
# such as $DEBUGINFOD_MAXSIZE, $DEBUGINFOD_MAXTIME, $DEBUGINFOD_PROGRESS.

if [ -z "$DEBUGINFOD_URLS" ]; then
    prefix="/usr"
    DEBUGINFOD_URLS=$(cat /dev/null "/etc/debuginfod"/*.urls 2>/dev/null | tr '\n' ' ')
    [ -n "$DEBUGINFOD_URLS" ] && export DEBUGINFOD_URLS || unset DEBUGINFOD_URLS
    unset prefix
fi

Name	Size	Permission
99-one-click.sh	2742 bytes	0700
colorgrep.csh	196 bytes	0644
colorgrep.sh	201 bytes	0644
colorls.csh	1741 bytes	0644
colorls.sh	1606 bytes	0644
colorxzgrep.csh	162 bytes	0644
colorxzgrep.sh	183 bytes	0644
colorzgrep.csh	216 bytes	0644
colorzgrep.sh	220 bytes	0644
csh.local	80 bytes	0644
debuginfod.csh	674 bytes	0644
debuginfod.sh	596 bytes	0644
gawk.csh	1107 bytes	0644
gawk.sh	757 bytes	0644
lang.csh	2489 bytes	0644
lang.sh	2312 bytes	0644
less.csh	500 bytes	0644
less.sh	253 bytes	0644
modules.csh	105 bytes	0644
modules.sh	448 bytes	0644
scl-init.csh	284 bytes	0644
scl-init.sh	637 bytes	0644
sh.local	81 bytes	0644
which2.csh	120 bytes	0644
which2.sh	540 bytes	0644

File Content: debuginfod.sh

File Content: `debuginfod.sh`