Compare commits
No commits in common. "efad8546524a7cec007a5652fa8fd5cb1074eb58" and "3cd1a1d718efccee917044c5b93c7b10726a3b23" have entirely different histories.
efad854652
...
3cd1a1d718
2 changed files with 2 additions and 4 deletions
|
@ -15,8 +15,7 @@ REMOTE_ROOT="https://deb.debian.org/${DEBIAN_ROOT}"
|
||||||
|
|
||||||
for dist in "${DISTS[@]}"; do
|
for dist in "${DISTS[@]}"; do
|
||||||
for section in "${SECTIONS[@]}"; do
|
for section in "${SECTIONS[@]}"; do
|
||||||
cd "${LOCAL_ROOT}/${dist}/${section}" ||
|
cd "${LOCAL_ROOT}/${dist}/${section}"
|
||||||
echo "${ERROR}"
|
|
||||||
rm --force "${MISSING}"
|
rm --force "${MISSING}"
|
||||||
wget "${REMOTE_ROOT}/${dist}/${section}/${MISSING}" &>/dev/null ||
|
wget "${REMOTE_ROOT}/${dist}/${section}/${MISSING}" &>/dev/null ||
|
||||||
echo "${ERROR}"
|
echo "${ERROR}"
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
#! /usr/bin/env bash
|
#! /usr/bin/env bash
|
||||||
FILE="$(realpath "${BASH_SOURCE[0]}")"
|
FILE="$(realpath "${BASH_SOURCE[0]}")"
|
||||||
cd "$(dirname "${FILE}")" ||
|
cd "$(dirname "${FILE}")"
|
||||||
exit
|
|
||||||
|
|
||||||
ROOT='root/msys2'
|
ROOT='root/msys2'
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue