blob: 5c27b0c79040f23eb134801f92bc58dfc41a9af8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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
|
