diff --git a/tools/create_userrc.sh b/tools/create_userrc.sh index e39c157043..55cb8fac63 100755 --- a/tools/create_userrc.sh +++ b/tools/create_userrc.sh @@ -173,10 +173,10 @@ function add_entry(){ fi cat >"$rcfile" <