/etc/profile.d/debian-med.sh is in med-config 3.0.1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | # To avoid name clashed while at the same time enabling
# Blends users finding their tools under the names they
# expect them to be the tools in question of each Blend
# will be installed to /usr/lib/$blend/bin and this
# script prepends this dir to the usual system PATH if
# a user is a has mentioned the Blend debian-med in a
# file ~/.blends
BLEND=debian-med
if [ -e "$HOME"/.blends ] ; then
for blend in `sed 's/#.*//' "$HOME"/.blends` ; do
if [ "$blend" = "$BLEND" ] ; then
blendpath="/usr/lib/$BLEND/bin"
blendmanpath="/usr/lib/$BLEND/share/man"
if [ -d "$blendpath" ] ; then
export PATH="$blendpath:${PATH}"
fi
if [ -d "$blendmanpath" ] ; then
if [ "$MANPATH" = "" ] ; then
export MANPATH="$blendmanpath:/usr/share/man"
else
export MANPATH="$blendmanpath:${MANPATH}"
fi
fi
break
fi
done
fi
|