diff options
Diffstat (limited to 'fdroids.sh')
-rwxr-xr-x | fdroids.sh | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -3,6 +3,10 @@ set -ex | |||
3 | quiet() { "$@" >/dev/null 2>&1; } | 3 | quiet() { "$@" >/dev/null 2>&1; } |
4 | quiet dpkg-query -W html-xml-utils || sudo apt install html-xml-utils | 4 | quiet dpkg-query -W html-xml-utils || sudo apt install html-xml-utils |
5 | stale() { [ $(( $(date +%s) - $(stat -c%Y "$1") )) -gt $(( 60*60*12 )) ]; } | 5 | stale() { [ $(( $(date +%s) - $(stat -c%Y "$1") )) -gt $(( 60*60*12 )) ]; } |
6 | if [ -t 0 ] | ||
7 | then | ||
8 | exec < fdroids.txt | ||
9 | fi | ||
6 | while read url | 10 | while read url |
7 | do | 11 | do |
8 | case "$url" in | 12 | case "$url" in |
@@ -23,4 +27,4 @@ do | |||
23 | (cd repo && wget -c "$link" "$link.asc" -a "$pkg".wget-log.txt) | 27 | (cd repo && wget -c "$link" "$link.asc" -a "$pkg".wget-log.txt) |
24 | fi | 28 | fi |
25 | fi | 29 | fi |
26 | done < fdroids.txt | 30 | done |