2024-10-11 14:45:11 -04:00
|
|
|
#!/bin/sh
|
2024-10-06 09:33:19 -04:00
|
|
|
|
2024-10-12 01:52:10 -04:00
|
|
|
set -eu
|
|
|
|
|
2024-10-06 09:33:19 -04:00
|
|
|
TMPDIR=${1}
|
|
|
|
|
|
|
|
cd ${TMPDIR} || exit 1
|
|
|
|
|
|
|
|
while read p; do
|
|
|
|
filename=$(basename $p)
|
|
|
|
if [ ! -f ${filename}.hash ]
|
|
|
|
then
|
|
|
|
wget ${p}
|
|
|
|
guix hash ${filename} > ${filename}.hash
|
|
|
|
fi
|
|
|
|
done <$2
|