From 01419cf1863dcb8ea92145092cdab22d180670c9 Mon Sep 17 00:00:00 2001 From: Izaya Date: Thu, 17 May 2018 16:40:33 +1000 Subject: [PATCH] added a script to minify everything with minify.lua, and added mini-*.lua to the gitignore --- .gitignore | 1 + Embedded/minify-all.sh | 9 +++++++++ 2 files changed, 10 insertions(+) create mode 100755 Embedded/minify-all.sh diff --git a/.gitignore b/.gitignore index 36fc0ce..2ec1d71 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ *-mini.lua *.swp +mini-*.lua diff --git a/Embedded/minify-all.sh b/Embedded/minify-all.sh new file mode 100755 index 0000000..6d6ab25 --- /dev/null +++ b/Embedded/minify-all.sh @@ -0,0 +1,9 @@ +#!/bin/bash +lua minify.lua vt100.lua mini-vt100.lua +lua minify.lua init-wrapper.lua mini-init-wrapper.lua +lua minify.lua microtel/microtel-3.lua microtel/mini-microtel-3.lua +lua minify.lua microtel/microtel-4.lua microtel/mini-microtel-4.lua +lua minify.lua microtel/microtel-5-core.lua microtel/mini-microtel-5-core.lua +lua minify.lua microtel/microtel-5-listen.lua microtel/mini-microtel-5-listen.lua +lua minify.lua microtel/microtel-5-flisten.lua microtel/mini-microtel-5-flisten.lua +lua minify.lua microtel/microtel-5-open.lua microtel/mini-microtel-5-open.lua