2016-06-11 23:12:00 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
2017-07-14 05:38:57 +02:00
|
|
|
BASE_URL="https://www.hepforge.org/archive/lhapdf/pdfsets/6.2/"
|
2016-06-11 23:12:00 +02:00
|
|
|
|
|
|
|
for pdf_set in `curl $BASE_URL 2>/dev/null | gsed -e "s/.*<a href=\"\([^\"]*.tar.gz\)\".*/\1/;tx;d;:x"`; do
|
|
|
|
echo -n " \"${pdf_set%.tar.gz}\" = \""
|
|
|
|
nix-prefetch-url "${BASE_URL}${pdf_set}" 2>/dev/null | tr -d '\n'
|
|
|
|
echo "\";"
|
|
|
|
done
|