Fix mistyping. JPR

[creaToolsTools.git] / Linux / menu.sh

diff --git a/Linux/menu.sh b/Linux/menu.sh
index 699f5ed874e968de854de7364704dedd34835538..73336f4c0001b18228dd9e554305e6b1ce73b8ae 100644 (file)
--- a/Linux/menu.sh
+++ b/Linux/menu.sh
@@ -86,11 +86,11 @@ do
         then
               echo WARNING
               echo
-             if [ -f ETC_BASHRC=$HOME/.bashrc ]
+             if [ -f $HOME/.bashrc ]
              then
                 export ETC_BASHRC=$HOME/.bashrc
              else
-                if [ -f ETC_BASHRC=$HOME/.profile ]
+                if [ -f $HOME/.profile ]
                 then
                    export ETC_BASHRC=$HOME/.profile
                 fi