Merge branch 'dev-0.3.x'

zhenrong-wang · Sep 2, 2024 · 0db5156 · 0db5156
2 parents f142d53 + 58d40fa
commit 0db5156
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/apps-install/hdf5.sh b/scripts/apps-install/hdf5.sh
@@ -36,7 +36,7 @@ if [ $1 = 'remove' ]; then
   if [ $current_user = 'root' ]; then
     sed -i '/< hdf5 >/d' $public_app_registry
   else
-    sed -e gcc-12.1.0"/< hdf5 > < ${current_user} >/d" $private_app_registry > /tmp/sed_${current_user}.tmp
+    sed -e "/< hdf5 > < ${current_user} >/d" $private_app_registry > /tmp/sed_${current_user}.tmp
     cat /tmp/sed_${current_user}.tmp > $private_app_registry
     rm -rf /tmp/sed_${current_user}.tmp
   fi