From ef053a6aa5b8b6a2290159d42d5f226fcf9c7f68 Mon Sep 17 00:00:00 2001 From: Brandon Elam Barker Date: Sat, 17 Jul 2021 18:53:32 -0400 Subject: [PATCH] Change Nix download command It appears gist.github.com now uses zip instead of tar. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 683c6e7..46bdcb7 100644 --- a/README.md +++ b/README.md @@ -414,7 +414,7 @@ A `nix-shell` environment that loads `agda-pkg` as well as `agda` and files in your project folder by running one of the following commands: ```bash -$ curl -L https://gist.github.com/jonaprieto/53e55263405ee48a831d700f27843931/download | tar -xvz --strip-components=1 +$ curl -L https://gist.github.com/jonaprieto/53e55263405ee48a831d700f27843931/download | busybox unzip -j - ``` or if you already have installed agda-pkg: