before environment

etc/bash.bashrc

@@ -162,10 +162,7 @@ export MIAOU_BASH_DIR
 for i in {/opt,$HOME}/miaou-*/tools; do [[ -d "$i" ]] && PATH=$PATH:$i; done || true
 
 # If not running interactively, don't do anything
-case $- in
-*i*) ;;
-*) return ;;
-esac
+[[ $- != *i* ]] && return
 
 HOSTNAME=$(hostname -f)