]>
git.wh0rd.org - home.git/blob - .profile.d/gnu.sh
62a52ef5d984946a84f18469c533432b9791d85d
1 GNULIB_SRCDIR
=/usr
/local
/src
/gnu
/gnulib
2 [[ ! -d ${GNULIB_SRCDIR} ]] && GNULIB_SRCDIR
=/usr
/local
/src
/gnulib
3 if [[ -d ${GNULIB_SRCDIR} ]] ; then