diff options
| author | Will Dietz <w@wdtz.org> | 2018-01-17 13:17:45 -0600 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-01-17 13:17:45 -0600 |
| commit | 9af5be98af98f52b9a0739c3d84202d3f7c7e999 (patch) | |
| tree | 2aeeaf227f9ab43c63d02b0db82c609701d601e1 | |
| parent | f96373262f5af078a4c118d9fb881eb7295dfe76 (diff) | |
| download | nixpkgs-9af5be98af98f52b9a0739c3d84202d3f7c7e999.tar nixpkgs-9af5be98af98f52b9a0739c3d84202d3f7c7e999.tar.gz nixpkgs-9af5be98af98f52b9a0739c3d84202d3f7c7e999.tar.bz2 nixpkgs-9af5be98af98f52b9a0739c3d84202d3f7c7e999.tar.lz nixpkgs-9af5be98af98f52b9a0739c3d84202d3f7c7e999.tar.xz nixpkgs-9af5be98af98f52b9a0739c3d84202d3f7c7e999.tar.zst nixpkgs-9af5be98af98f52b9a0739c3d84202d3f7c7e999.zip | |
debian-patches.sh: patch-tracker is long-since dead, fix to use sources?
| -rwxr-xr-x | maintainers/scripts/debian-patches.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/maintainers/scripts/debian-patches.sh b/maintainers/scripts/debian-patches.sh index 78678473a49..b4923fb537e 100755 --- a/maintainers/scripts/debian-patches.sh +++ b/maintainers/scripts/debian-patches.sh @@ -4,11 +4,13 @@ # Usage $0 debian-patches.txt debian-patches.nix # An example input and output files can be found in applications/graphics/xara/ -DEB_URL=http://patch-tracker.debian.org/patch/series/dl +DEB_URL=https://sources.debian.org/data/main declare -a deb_patches mapfile -t deb_patches < $1 -prefix="${DEB_URL}/${deb_patches[0]}" +# First letter +deb_prefix="${deb_patches[0]:0:1}" +prefix="${DEB_URL}/${deb_prefix}/${deb_patches[0]}/debian/patches" if [[ -n "$2" ]]; then exec 1> $2 |