]> git.wh0rd.org - home.git/blobdiff - .profile.d/gnu.sh
more bin/profiles
[home.git] / .profile.d / gnu.sh
diff --git a/.profile.d/gnu.sh b/.profile.d/gnu.sh
new file mode 100644 (file)
index 0000000..62a52ef
--- /dev/null
@@ -0,0 +1,7 @@
+GNULIB_SRCDIR=/usr/local/src/gnu/gnulib
+[[ ! -d ${GNULIB_SRCDIR} ]] && GNULIB_SRCDIR=/usr/local/src/gnulib
+if [[ -d ${GNULIB_SRCDIR} ]] ; then
+       export GNULIB_SRCDIR
+else
+       unset GNULIB_SRCDIR
+fi