plumb/reddit: add now required user-agent header - randomcrap - random crap programs of varying quality
  HTML git clone git://git.codemadness.org/randomcrap
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit 13509332415ff5cfc8fb9eb8be15bf07b1c4eda4
   DIR parent 3792734836ddecd81b54cc649a31372a30dc4458
  HTML Author: Hiltjo Posthuma <hiltjo@codemadness.org>
       Date:   Sun,  2 Jul 2023 12:29:35 +0200
       
       plumb/reddit: add now required user-agent header
       
       Diffstat:
         M config/scripts/plumb/reddit.sh      |       5 ++---
       
       1 file changed, 2 insertions(+), 3 deletions(-)
       ---
   DIR diff --git a/config/scripts/plumb/reddit.sh b/config/scripts/plumb/reddit.sh
       @@ -3,9 +3,8 @@
        
        url="$1.json"
        
       -hurl "$url" | \
       -json2tsv | \
       -awk '
       +hurl -H 'User-Agent: 007' "$url" | \
       +jaq '
        function url(s) {
                if (!length(s))
                        return;