stardis-spk

commit 881a3917b0c9b6dadde8496886cbc59475cde169
parent ed8dde12a1ab6b15993e2bd582ed984a3fb57115
Author: Benjamin Piaud <benjamin.piaud@meso-star.com>
Date:   Mon, 21 Mar 2022 10:48:30 +0100

Remplace source par . dans les script

Diffstat:
M
city/run_IR_rendering.sh
 | 
3
+--
M
cube/run_dump_path.sh
 | 
3
+--
M
cube/run_green_evaluation.sh
 | 
3
+--
M
cube/run_probe_computation.sh
 | 
3
+--
M
heatsink/run_medium_computation.sh
 | 
3
+--
M
heatsink/run_medium_computation_multiple.sh
 | 
3
+--
M
porous/run_IR_rendering.sh
 | 
3
+--

7 files changed, 7 insertions(+), 14 deletions(-)
diff --git a/city/run_IR_rendering.sh b/city/run_IR_rendering.sh
@@ -34,8 +34,7 @@ if ! (command -v stardis > /dev/null)
 then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
-  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
-  echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
+  echo ">>> . ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
 fi
diff --git a/cube/run_dump_path.sh b/cube/run_dump_path.sh
@@ -32,8 +32,7 @@ rm -f "${GEOM_FILE} ${PATH_FILE_PREFIX}*"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
-  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
-  echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
+  echo ">>> . ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
 fi
diff --git a/cube/run_green_evaluation.sh b/cube/run_green_evaluation.sh
@@ -29,8 +29,7 @@ SETTINGS_FILE=settings.txt
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
-  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
-  echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
+  echo ">>> . ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
 fi
diff --git a/cube/run_probe_computation.sh b/cube/run_probe_computation.sh
@@ -29,8 +29,7 @@ rm -f "${FILE}"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
-  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
-  echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
+  echo ">>> . ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
 fi
diff --git a/heatsink/run_medium_computation.sh b/heatsink/run_medium_computation.sh
@@ -27,8 +27,7 @@ rm -f "${GEOM_FILE}"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
-  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
-  echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
+  echo ">>> . ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
 fi
diff --git a/heatsink/run_medium_computation_multiple.sh b/heatsink/run_medium_computation_multiple.sh
@@ -27,8 +27,7 @@ rm -f "${GEOM_FILE}"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
-  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
-  echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
+  echo ">>> . ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
 fi
diff --git a/porous/run_IR_rendering.sh b/porous/run_IR_rendering.sh
@@ -32,8 +32,7 @@ rm -f "${FILE}.ht ${FILE}.ppm"
 if ! command -v stardis > /dev/null ; then
   echo ">>> stardis command not found !"
   echo ">>> To register stardis in the current shell you must type :"
-  echo ">>> sh ~/Stardis-XXX-GNU-Linux64/etc/build-stardis-profile.sh"
-  echo ">>> source ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
+  echo ">>> . ~/Stardis-XXX-GNU-Linux64/etc/stardis.profile"
   echo ">>> where ~/Stardis-XXX-GNU-Linux64 is the stardis directory installation"
   exit 1
 fi