From c6c710abd3bf2adad64a851dca437ca4c0d66b39 Mon Sep 17 00:00:00 2001
From: USER <USER@DOMAIN.com>
Date: Tue, 10 Oct 2023 21:56:47 +0100
Subject: [PATCH] .

---
 shared/bashrc | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/shared/bashrc b/shared/bashrc
index f528860..b8722a5 100644
--- a/shared/bashrc
+++ b/shared/bashrc
@@ -1,12 +1,10 @@
 # Source .bashrc for non-interactive Bash shells
-# export BASH_ENV=~/.bashrc
-echo "shared"
+export BASH_ENV=~/.bashrc
 
-
-# if [[ $- != *i* ]] ; then
-#   # Shell is non-interactive.  Be done now!
-#   return
-# fi
+if [[ $- != *i* ]] ; then
+  # Shell is non-interactive.  Be done now!
+  return
+fi
 
 THISOS=$(uname | awk '{print tolower($1)}')
 THISHOST=$(uname -n)