OSTYPE

diff --git a/etc/bashrc b/etc/bashrc
index 191cce25759d940aa4db6a355ed8fc42bfe62381..2992a5b591995b5e5c613a36bf09bc3cf0be1bfe 100644 (file)
--- a/etc/bashrc
+++ b/etc/bashrc
@@ -10,6 +10,7 @@ NB_ROOT=$(realpath ${BASH_SOURCE%/*}/..)
 [ -z "$HOSTNAME" ] && HOSTNAME=`hostname`
 [ -z "$UID" ] && UID=`id -u`
 [ -z "$USER" ] && USER=`whoami`
+[ -z "$OSTYPE" ] && OSTYPE=`uname|tr [:upper:] [:lower:]`
 
 #
 # PATH