mirror of
https://github.com/tauri-apps/gir-files.git
synced 2026-01-31 00:45:15 +01:00
22 lines
539 B
Bash
Executable File
22 lines
539 B
Bash
Executable File
#!/bin/bash
|
|
set -e -u -o pipefail
|
|
|
|
MIRRORS="$1"
|
|
echo $MIRRORS
|
|
WGETPARAMS="--tries=10 --retry-on-http-error=500 --waitretry=1 --show-progress"
|
|
EXTRA_MIRROR=security.ubuntu.com/ubuntu/pool
|
|
if [ $# -lt 2 ]; then
|
|
MIRROR="mirrors.kernel.org"
|
|
else
|
|
MIRROR="$2"
|
|
fi
|
|
wget $WGETPARAMS -O tmp.html "$MIRRORS"
|
|
URL=`cat tmp.html | grep -oP "http://($MIRROR|$EXTRA_MIRROR)/[^\"]+"`
|
|
rm tmp.html
|
|
echo $URL
|
|
wget $WGETPARAMS -O tmp.deb "$URL"
|
|
ar x tmp.deb data.tar.xz
|
|
rm tmp.deb
|
|
tar xf data.tar.xz --strip-components 4 ./usr/share/gir-1.0
|
|
rm data.tar.xz
|