From b1df8d7d69dff7aec25247d6f6ad6dd4a7956a64 Mon Sep 17 00:00:00 2001
From: Nickolas Fotopoulos <nickolas.fotopoulos@ligo.org>
Date: Fri, 18 Nov 2011 09:36:16 -0800
Subject: [PATCH] generate_user_env.awk: fixed sed command for removing old
paths
---
gnuscripts/generate_user_env.awk | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/gnuscripts/generate_user_env.awk b/gnuscripts/generate_user_env.awk
index 8420086231..839d028891 100644
--- a/gnuscripts/generate_user_env.awk
+++ b/gnuscripts/generate_user_env.awk
@@ -139,10 +139,10 @@ END {
for (i in pathvar) {
if (substr(pathvar[i], 1, 1) != "$") {
if (csh) {
- printf " setenv %s `echo \":${%s}:\" | sed 's|:%s:||;s|^:||;s|:$||'`\n", name, name, pathvar[i] >>output
+ printf " setenv %s `echo \":${%s}:\" | sed 's|:%s:|:|;s|^:||;s|:$||'`\n", name, name, pathvar[i] >>output
}
else {
- printf " %s=`echo \":${%s}:\" | sed 's|:%s:||;s|^:||;s|:$||'`\n", name, name, pathvar[i] >>output
+ printf " %s=`echo \":${%s}:\" | sed 's|:%s:|:|;s|^:||;s|:$||'`\n", name, name, pathvar[i] >>output
}
}
}
--
GitLab