Agg. post del'altro di'; Agg. interni

This commit is contained in:
2023-03-20 23:42:22 +01:00
parent f6229d757a
commit e412e42b53
15 changed files with 138 additions and 53 deletions

View File

@@ -1,11 +1,12 @@
#!/bin/sh
staticosoCommit="c35aa94345ce16c9109fd5a9f35c5aa9498fb664"
GetArchive() {
# $1: Branch name or commit hash
wget \
-O ./staticoso.tar.bz2 \
https://gitlab.com/octtspacc/staticoso/-/archive/$1/staticoso-$1.tar.bz2
tar xvf ./staticoso.tar.bz2
mv ./staticoso-$1 ./staticoso
}
#git clone --depth 1 https://gitlab.com/octtspacc/staticoso
wget \
-O ./staticoso.tar.bz2 \
https://gitlab.com/octtspacc/staticoso/-/archive/$staticosoCommit/staticoso-$staticosoCommit.tar.bz2
tar xvf ./staticoso.tar.bz2
mv ./staticoso-$staticosoCommit ./staticoso
GetArchive Dev