push* scripts: use luasrcdiet if directed

If ${LUADIET} is empty, send files as they are; otherwise, stream them
through luasrcdiet.  To use the default options, use 'LUADIET=' '" or
something to that effect.  This can be set per-file, should some module
turn out to be broken by dieting.

The "dopush" utility macro is split and now called "dopushlua" and
"dopushtext" (which skips luasrcdiet even if it is engaged).

diff --git a/pushall.sh b/pushall.sh
index bf96177cedf0806bee159d7f085e54ab0a5d5804..5da46133791d3e8d123e4be6e015782f3bfdab4d 100755 (executable)
--- a/pushall.sh
+++ b/pushall.sh
@@ -6,11 +6,11 @@ set -e -u
 
 pushsrc() {
   dopushcompile util/compileall.lua
-  dopush net/nwfmqtt.lua
-  dopush _external/lcd1602.lua
-  dopush examples/ctfws/ctfws.lua
-  dopush examples/ctfws/ctfws-lcd.lua
-  dopush examples/ctfws/init3.lua
+  dopushlua     net/nwfmqtt.lua
+  dopushlua     _external/lcd1602.lua
+  dopushlua     examples/ctfws/ctfws.lua
+  dopushlua     examples/ctfws/ctfws-lcd.lua
+  dopushlua     examples/ctfws/init3.lua
   dopushcompile examples/ctfws/init2.lua
 }
 
@@ -27,7 +27,7 @@ pushconf() {
     exit 1
   fi
   for f in ${CONFDIR}/*; do
-    dopush "$f"
+    dopushtext "$f"
   done
 }