tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1#!/usr/bin/env nix-shell
2#!nix-shell -i bash -p curl
3
4die() {
5 echo "$1" >&2
6 exit 1
7}
8
9fetch() {
10 local url="https://dl.google.com/android/repository/$1"
11 echo "$url -> $2" >&2
12 curl -s "$url" -o "$2" || die "Failed to fetch $url"
13}
14
15pushd "$(dirname "$0")" &>/dev/null || exit 1
16
17mkdir -p xml
18
19fetch repository2-3.xml xml/repository2-3.xml
20for img in android android-tv android-wear android-wear-cn android-automotive google_apis google_apis_playstore
21do
22 fetch sys-img/$img/sys-img2-3.xml xml/$img-sys-img2-3.xml
23done
24fetch addon2-3.xml xml/addon2-3.xml
25
26popd &>/dev/null