From 1eaa248eb5c131b983a20e116cfd660a229799ac Mon Sep 17 00:00:00 2001
From: Ville Rantanen <q@moonq.org>
Date: Mon, 27 Apr 2020 17:08:04 +0300
Subject: [PATCH] add a list of files for wget etc

---
 web/SimpleWebPage.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/SimpleWebPage.py b/web/SimpleWebPage.py
index 829f51a..0610e56 100755
--- a/web/SimpleWebPage.py
+++ b/web/SimpleWebPage.py
@@ -161,6 +161,7 @@ def get_wget_lines(files):
     wget = "\n<!--\n"
     for f in files:
         wget += "#FILE %s\n"%(urllib.quote(f),)
+    wget += "#WGET URL=[insert URL] && curl $URL | grep '^#FILE ' | cut -c7- | sed \"s,^,$URL,\" | xargs -n1 wget\n"
     wget += "-->\n"
     return wget