diff options
author | Jeremie Francois (on alpha) <jeremie.francois@gmail.com> | 2020-04-10 18:57:40 +0200 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2020-05-10 10:28:01 +0200 |
commit | 4323eedde884b9912d5ca7afa4ef55a0836f80e6 (patch) | |
tree | 19ac11398fdbe816a048f929d6b3d6ff9fcc7c8c /scripts | |
parent | 3f9b0d0f1903a874dc821d8981443c480bd30837 (diff) | |
download | linux-stable-4323eedde884b9912d5ca7afa4ef55a0836f80e6.tar.gz linux-stable-4323eedde884b9912d5ca7afa4ef55a0836f80e6.tar.bz2 linux-stable-4323eedde884b9912d5ca7afa4ef55a0836f80e6.zip |
scripts/config: allow colons in option strings for sed
[ Upstream commit e461bc9f9ab105637b86065d24b0b83f182d477c ]
Sed broke on some strings as it used colon as a separator.
I made it more robust by using \001, which is legit POSIX AFAIK.
E.g. ./config --set-str CONFIG_USBNET_DEVADDR "de:ad:be:ef:00:01"
failed with: sed: -e expression #1, char 55: unknown option to `s'
Signed-off-by: Jeremie Francois (on alpha) <jeremie.francois@gmail.com>
Signed-off-by: Masahiro Yamada <masahiroy@kernel.org>
Signed-off-by: Sasha Levin <sashal@kernel.org>
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/config | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/config b/scripts/config index 026aeb4f32ee..73de17d39698 100755 --- a/scripts/config +++ b/scripts/config @@ -6,6 +6,9 @@ myname=${0##*/} # If no prefix forced, use the default CONFIG_ CONFIG_="${CONFIG_-CONFIG_}" +# We use an uncommon delimiter for sed substitutions +SED_DELIM=$(echo -en "\001") + usage() { cat >&2 <<EOL Manipulate options in a .config file from the command line. @@ -82,7 +85,7 @@ txt_subst() { local infile="$3" local tmpfile="$infile.swp" - sed -e "s:$before:$after:" "$infile" >"$tmpfile" + sed -e "s$SED_DELIM$before$SED_DELIM$after$SED_DELIM" "$infile" >"$tmpfile" # replace original file with the edited one mv "$tmpfile" "$infile" } |