diff options
| author | Robert Guo <robert.guo@mongodb.com> | 2021-06-15 17:51:01 -0400 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-06-16 16:08:23 +0000 |
| commit | 796a9f1504ea088bca412b8af787b735943245cf (patch) | |
| tree | d7af48782eb4494338ee50c689a74b6207f58930 /evergreen/undo_wiki_page.sh | |
| parent | c73b1c09eb5ce2053577abac0a4ba360e3845de8 (diff) | |
| download | mongo-796a9f1504ea088bca412b8af787b735943245cf.tar.gz | |
SERVER-57439 add unittest task with undodb recordings to ! RHEL 8
Diffstat (limited to 'evergreen/undo_wiki_page.sh')
| -rw-r--r-- | evergreen/undo_wiki_page.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/evergreen/undo_wiki_page.sh b/evergreen/undo_wiki_page.sh new file mode 100644 index 00000000000..91855244e95 --- /dev/null +++ b/evergreen/undo_wiki_page.sh @@ -0,0 +1,13 @@ +DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" +. "$DIR/prelude.sh" + +set -o errexit +set -o verbose + +activate_venv +$python -c 'import json; print(json.dumps([{ + "name": "*** How to use UndoDB Recordings instead of Core Dumps or Log Files ***", + "link": "https://wiki.corp.mongodb.com/display/COREENG/Time+Travel+Debugging+in+MongoDB", + "visibility": "public", + "ignore_for_fetch": True +}]))' >undo_wiki_page_location.json |