mirror of
https://github.com/fosslinux/live-bootstrap.git
synced 2026-03-17 16:55:25 +01:00
Do not try to redownload files that are already downloaded.
This commit is contained in:
parent
e8f545612d
commit
a7e83e9c4e
1 changed files with 6 additions and 2 deletions
|
|
@ -87,7 +87,9 @@ cp tcc-patched.kaem tmp/after/
|
||||||
# tar 1.12
|
# tar 1.12
|
||||||
url=https://ftp.gnu.org/gnu/tar/tar-1.12.tar.gz
|
url=https://ftp.gnu.org/gnu/tar/tar-1.12.tar.gz
|
||||||
pushd ../sources
|
pushd ../sources
|
||||||
wget --continue "$url"
|
if [ ! -f "$(basename $url)" ]; then
|
||||||
|
wget "$url"
|
||||||
|
fi
|
||||||
popd
|
popd
|
||||||
cp "$(basename $url .tar.gz).kaem" tmp/after
|
cp "$(basename $url .tar.gz).kaem" tmp/after
|
||||||
tar -C tmp/after -xf "../sources/$(basename $url)"
|
tar -C tmp/after -xf "../sources/$(basename $url)"
|
||||||
|
|
@ -95,7 +97,9 @@ tar -C tmp/after -xf "../sources/$(basename $url)"
|
||||||
get_file() {
|
get_file() {
|
||||||
url=$1
|
url=$1
|
||||||
pushd ../sources
|
pushd ../sources
|
||||||
wget --continue "$url"
|
if [ ! -f "$(basename "$url")" ]; then
|
||||||
|
wget "$url"
|
||||||
|
fi
|
||||||
popd
|
popd
|
||||||
ext="${url##*.}"
|
ext="${url##*.}"
|
||||||
if [ "$ext" = "tar" ]; then
|
if [ "$ext" = "tar" ]; then
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue