diff options
author | Richard Samuels <richard.l.samuels@gmail.com> | 2021-06-24 19:45:51 -0400 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-07-02 02:08:51 +0000 |
commit | 8a30e2e888640f58bd7e5134e14b39de4b0b1491 (patch) | |
tree | 72e16e9201e83f34265e0ed3a595b9e5794e0e32 /evergreen/undo_wiki_page.sh | |
parent | 951dfeb5aca55cc881293372dfda4b72bb478b92 (diff) | |
download | mongo-8a30e2e888640f58bd7e5134e14b39de4b0b1491.tar.gz |
SERVER-57140 reformat shell scripts and allow space between redirect operators
Diffstat (limited to 'evergreen/undo_wiki_page.sh')
-rw-r--r-- | evergreen/undo_wiki_page.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/evergreen/undo_wiki_page.sh b/evergreen/undo_wiki_page.sh index 91855244e95..5c27b0c7904 100644 --- a/evergreen/undo_wiki_page.sh +++ b/evergreen/undo_wiki_page.sh @@ -1,4 +1,4 @@ -DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" +DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)" . "$DIR/prelude.sh" set -o errexit @@ -10,4 +10,4 @@ $python -c 'import json; print(json.dumps([{ "link": "https://wiki.corp.mongodb.com/display/COREENG/Time+Travel+Debugging+in+MongoDB", "visibility": "public", "ignore_for_fetch": True -}]))' >undo_wiki_page_location.json +}]))' > undo_wiki_page_location.json |