From a9da16b1915733874db39823b6dc506f6b41739e Mon Sep 17 00:00:00 2001 From: Rudolf Polzer Date: Thu, 17 Jun 2010 17:35:26 +0200 Subject: [PATCH] if a file foo.pk3dir.no exists, do not download foo.pk3dir repo --- all | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/all b/all index a18991e3..8599484f 100755 --- a/all +++ b/all @@ -188,7 +188,7 @@ repoflags() repos=`for d in $repos; do p="${d%dir}" - if [ x"$p" = x"$d" ] || [ -d "$d" ] || ! [ -f "$p" ]; then + if [ x"$p" = x"$d" ] || [ -d "$d" ] || ! { [ -f "$d.no" ] || [ -f "$p" ]; }; then echo "$d" fi done` -- 2.39.2