pyrox.dev
Merge pull request #8576 from obadz/nix-prefetch-zip
Add --ext option to nix-prefetch-zip
zimbatm.tngl.sh
+7
-2
pkgs/build-support/fetchzip/nix-prefetch-zip
+7
-2
pkgs/build-support/fetchzip/nix-prefetch-zip
···
6
Options:
7
--url url The url of the archive to fetch.
8
--name name The name to use for the store path (defaults to \`basename \$url\`).
9
--hash hash The hash of unpacked archive.
10
--hash-type type Use the specified cryptographic hash algorithm, which can be one of md5, sha1, and sha256.
11
--leave-root Keep the root directory of the archive.
···
16
17
18
name=""
19
argi=0
20
argfun=""
21
for arg; do
···
23
case $arg in
24
--url) argfun=set_url;;
25
--name) argfun=set_name;;
26
--hash) argfun=set_expHash;;
27
--hash-type) argfun=set_hashType;;
28
--leave-root) leaveRoot=true;;
···
67
tmp=$(mktemp -d 2>/dev/null || mktemp -d -t "$$")
68
trap "rm -rf '$tmp'" EXIT
69
70
-
unpackDirTmp=$tmp/unpacked-tmp/$name
71
mkdir -p $unpackDirTmp
72
73
-
unpackDir=$tmp/unpacked/$name
74
mkdir -p $unpackDir
75
76
downloadedFile=$tmp/$(basename "$url")
···
6
Options:
7
--url url The url of the archive to fetch.
8
--name name The name to use for the store path (defaults to \`basename \$url\`).
9
+
--ext ext The file extension (.zip, .tar.gz, ...) to be REMOVED from name
10
--hash hash The hash of unpacked archive.
11
--hash-type type Use the specified cryptographic hash algorithm, which can be one of md5, sha1, and sha256.
12
--leave-root Keep the root directory of the archive.
···
17
18
19
name=""
20
+
ext=""
21
argi=0
22
argfun=""
23
for arg; do
···
25
case $arg in
26
--url) argfun=set_url;;
27
--name) argfun=set_name;;
28
+
--ext) argfun=set_ext;;
29
--hash) argfun=set_expHash;;
30
--hash-type) argfun=set_hashType;;
31
--leave-root) leaveRoot=true;;
···
70
tmp=$(mktemp -d 2>/dev/null || mktemp -d -t "$$")
71
trap "rm -rf '$tmp'" EXIT
72
73
+
dirname=$(basename -s "$ext" "$name")
74
+
75
+
unpackDirTmp=$tmp/unpacked-tmp/$dirname
76
mkdir -p $unpackDirTmp
77
78
+
unpackDir=$tmp/unpacked/$dirname
79
mkdir -p $unpackDir
80
81
downloadedFile=$tmp/$(basename "$url")