From 1dd5dc95eaf3255146b3c0212bd1ff28dd7d2be6 Mon Sep 17 00:00:00 2001 From: Martin Nordholts Date: Thu, 28 Jul 2022 18:08:15 +0200 Subject: [PATCH] update.sh: Make user, repo, and branch easy to change --- update.sh | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/update.sh b/update.sh index ed97796..5437494 100755 --- a/update.sh +++ b/update.sh @@ -4,8 +4,12 @@ pyjq() { python3 -c "import json, sys; print(json.load(sys.stdin)${1})" } -curl -# https://raw.githubusercontent.com/rust-lang/rust/master/src/rustdoc-json-types/lib.rs | sed 's/rustc_data_structures::fx::/std::collections::/g' | sed 's/FxHashMap/HashMap/g' > src/lib.rs +user="rust-lang" +repo="rust" +branch="master" -curl -# https://raw.githubusercontent.com/rust-lang/rust/master/src/rustdoc-json-types/tests.rs > src/tests.rs +curl -# https://raw.githubusercontent.com/${user}/${repo}/${branch}/src/rustdoc-json-types/lib.rs | sed 's/rustc_data_structures::fx::/std::collections::/g' | sed 's/FxHashMap/HashMap/g' > src/lib.rs -curl -# "https://api.github.com/repos/rust-lang/rust/commits?path=src/rustdoc-json-types/lib.rs" | pyjq '[0]["sha"]' > COMMIT.txt +curl -# https://raw.githubusercontent.com/${user}/${repo}/${branch}/src/rustdoc-json-types/tests.rs > src/tests.rs + +curl -# "https://api.github.com/repos/${user}/${repo}/commits?sha=${branch}&path=src/rustdoc-json-types/lib.rs" | pyjq '[0]["sha"]' > COMMIT.txt