1 files changed, 26 insertions, 0 deletions
diff --git a/pkgs/development/mobile/androidenv/fetchrepo.sh b/pkgs/development/mobile/androidenv/fetchrepo.sh
new file mode 100755
index 00000000000..ab5bf419c31
--- /dev/null
+++ b/pkgs/development/mobile/androidenv/fetchrepo.sh
@@ -0,0 +1,26 @@
+#!/usr/bin/env nix-shell
+#!nix-shell -i bash -p curl
+
+die() {
+    echo "$1" >&2
+    exit 1
+}
+
+fetch() {
+    local url="https://dl.google.com/android/repository/$1"
+    echo "$url -> $2"
+    curl -s "$url" -o "$2" || die "Failed to fetch $url"
+}
+
+pushd "$(dirname "$0")" &>/dev/null || exit 1
+
+mkdir -p xml
+
+fetch repository2-1.xml xml/repository2-1.xml
+for img in android android-tv android-wear android-wear-cn android-automotive google_apis google_apis_playstore
+do
+    fetch sys-img/$img/sys-img2-1.xml xml/$img-sys-img2-1.xml
+done
+fetch addon2-1.xml xml/addon2-1.xml
+
+popd &>/dev/null