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 | } |
