diff options
| -rwxr-xr-x | liste-verfuegbare-Versionen | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/liste-verfuegbare-Versionen b/liste-verfuegbare-Versionen index 3ec025787..d61d53a07 100755 --- a/liste-verfuegbare-Versionen +++ b/liste-verfuegbare-Versionen @@ -11,7 +11,9 @@ if grep -qxF 'ID=arch' /etc/os-release; then sudo pacman -Sy >/dev/null || exit $? else >&2 echo 'skipping liste-verfuegbare-Versionen, because it currently does not reliably work on non-arch systems' - exit 1 + tty -s || exit 1 + >&2 echo 'checkout $LVV_FORCE' + [ -n "$LVV_FORCE" ] || exit 1 sources=( http://pkgcache.eckner.net/arch/x86_64/core/core.db.tar.gz http://pkgcache.eckner.net/arch/x86_64/extra/extra.db.tar.gz |