Fix brew sed

This commit is contained in:
Martin Rotter 2019-04-03 10:32:52 +02:00
parent 4c28741206
commit 40d50cd757
2 changed files with 2 additions and 2 deletions

View File

@ -10,7 +10,7 @@ if test "$TRAVIS_OS_NAME" = "osx"; then
brew install curl
brew link --force curl
brew uninstall gnu-sed
brew install gnu-sed --with-default-names
brew install gnu-sed
brew link --force gnu-sed
else
# Linux.

View File

@ -39,7 +39,7 @@ wikifile="./build-wiki/Development-builds.md"
wikifilenew="./build-wiki/Development-builds.md.new"
echo "Line to add: $wikiline"
cat "$wikifile" | /usr/local/bin/sed -e "s@| Mac OS | .\+$USE_WEBENGINE | @$wikiline@g" > "$wikifilenew"
cat "$wikifile" | /usr/local/bin/gsed -e "s@| Mac OS | .\+$USE_WEBENGINE | @$wikiline@g" > "$wikifilenew"
cat "$wikifilenew"
mv "$wikifilenew" "$wikifile"