From eff1e7f33bfdc754db0b3141863c4faf3124e081 Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Wed, 27 May 2015 14:42:50 +0100
Subject: [PATCH] OSTYPE

---
 etc/bashrc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/etc/bashrc b/etc/bashrc
index 191cce25..2992a5b5 100644
--- 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
-- 
2.47.3