From f89c37cb7989e0d045b632d4752d586c511833a2 Mon Sep 17 00:00:00 2001 From: Patrick Date: Thu, 14 Nov 2024 12:36:36 +0100 Subject: [PATCH] chore: remove old fetch pr script --- nix/devshell.nix | 1 - pkgs/scripts/fetch-prs.sh | 17 ----------------- pr.txt | 2 ++ 3 files changed, 2 insertions(+), 18 deletions(-) delete mode 100755 pkgs/scripts/fetch-prs.sh create mode 100644 pr.txt diff --git a/nix/devshell.nix b/nix/devshell.nix index 6e2df60..d98c523 100644 --- a/nix/devshell.nix +++ b/nix/devshell.nix @@ -20,7 +20,6 @@ packages = with pkgs; [ # Nix nil - wcurl # for fetch-prs inputs.nixp-meta.packages.x86_64-linux.nixp-meta-release # Misc diff --git a/pkgs/scripts/fetch-prs.sh b/pkgs/scripts/fetch-prs.sh deleted file mode 100755 index 6abadfd..0000000 --- a/pkgs/scripts/fetch-prs.sh +++ /dev/null @@ -1,17 +0,0 @@ -# dependencies: wcurl -PRS=("354038" "355216") - -if [ ! -f flake.nix ]; then - echo "Not in a flake top level" - exit 1 -fi - -mkdir -p patches/PR -echo "Removing old patches" -rm patches/PR/*.diff -for t in "${PRS[@]}"; do - echo "Fetching PR #$t" - url="https://github.com/NixOS/nixpkgs/pull/$t" - echo "$url" - wcurl "$url.diff" --curl-options "--output-dir patches/PR" -done diff --git a/pr.txt b/pr.txt new file mode 100644 index 0000000..7c1966b --- /dev/null +++ b/pr.txt @@ -0,0 +1,2 @@ +355216 # nixos/kanidm: allow origin url ending without slash +354038