diff --git a/etc/bash.bashrc b/etc/bash.bashrc
index 517ca4d..29e8490 100644
--- a/etc/bash.bashrc
+++ b/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)