maude.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

# /etc/profile.d/maude.sh

if [ -d "/usr/share/maude" ]; then
  case "${MAUDE_LIB}" in
    /usr/share/maude)
      ;;
    /usr/share/maude:*)
      ;;
    *:/usr/share/maude)
      ;;
    *:/usr/share/maude:*)
      ;;
    *)
      MAUDE_LIB="${MAUDE_LIB:-}${MAUDE_LIB:+:}/usr/share/maude"
      export MAUDE_LIB
      ;;
  esac
fi

# /etc/profile.d/maude.sh ends here.