mirror of
https://github.com/mongodb/mongo.git
synced 2024-12-01 09:32:32 +01:00
14 lines
447 B
Bash
14 lines
447 B
Bash
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
|