diff options
-rwxr-xr-x | scripts/config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/config b/scripts/config index 2283be2bb62c..68041793698c 100755 --- a/scripts/config +++ b/scripts/config | |||
@@ -82,7 +82,7 @@ txt_subst() { | |||
82 | local infile="$3" | 82 | local infile="$3" |
83 | local tmpfile="$infile.swp" | 83 | local tmpfile="$infile.swp" |
84 | 84 | ||
85 | sed -e "s/$before/$after/" "$infile" >"$tmpfile" | 85 | sed -e "s:$before:$after:" "$infile" >"$tmpfile" |
86 | # replace original file with the edited one | 86 | # replace original file with the edited one |
87 | mv "$tmpfile" "$infile" | 87 | mv "$tmpfile" "$infile" |
88 | } | 88 | } |