Bash: only set INTERACTIVE_SHELL locally