From d39a2e230ebff617a846855a647d882219f8020b Mon Sep 17 00:00:00 2001 From: Gerd Hoffmann Date: Thu, 14 May 2020 16:55:27 +0200 Subject: don't barf without proxy config --- etc/proxy.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/proxy.sh') diff --git a/etc/proxy.sh b/etc/proxy.sh index 0027af5..c278d10 100644 --- a/etc/proxy.sh +++ b/etc/proxy.sh @@ -15,5 +15,5 @@ if test "$NO_PROXY" != ""; then fi echo "-=- debug -=-" -set | grep -i -e "_proxy=" +set | grep -i -e "_proxy=" || true echo "-=-" -- cgit