diff options
| author | Patrick Cloke <clokep@users.noreply.github.com> | 2020-02-12 07:02:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-12 07:02:19 -0500 |
| commit | ba547ec3a94b17cfb634758deb4cdbc98fc840a9 (patch) | |
| tree | 7ec52eab5f49a885331816f4d0465ba880cc020a /scripts-dev/config-lint.sh | |
| parent | Merge branch 'release-v1.10.0' into develop (diff) | |
| download | synapse-ba547ec3a94b17cfb634758deb4cdbc98fc840a9.tar.xz | |
Use BSD-compatible in-place editing for sed. (#6887)
Diffstat (limited to '')
| -rwxr-xr-x | scripts-dev/config-lint.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts-dev/config-lint.sh b/scripts-dev/config-lint.sh index 677a854c85..189ca66535 100755 --- a/scripts-dev/config-lint.sh +++ b/scripts-dev/config-lint.sh @@ -3,7 +3,8 @@ # Exits with 0 if there are no problems, or another code otherwise. # Fix non-lowercase true/false values -sed -i -E "s/: +True/: true/g; s/: +False/: false/g;" docs/sample_config.yaml +sed -i.bak -E "s/: +True/: true/g; s/: +False/: false/g;" docs/sample_config.yaml +rm docs/sample_config.yaml.bak # Check if anything changed git diff --exit-code docs/sample_config.yaml |