From d1e39819c891e4e9c9f8f80d88ee101f38b5961d Mon Sep 17 00:00:00 2001 From: Simon Vieille Date: Thu, 27 Jul 2023 13:16:18 +0200 Subject: [PATCH] add ci --- bin/rss | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/rss b/bin/rss index 04354ef..d5d9893 100755 --- a/bin/rss +++ b/bin/rss @@ -1,6 +1,7 @@ #!/bin/sh set -eu +set -x usage() { printf "Usage: %s [-l DEBUG_LEVEL] [-f URL] [-h]\n" "$0"