fixes

nielsd · Mar 31, 2023 · 41b537d · 41b537d
1 parent b8b599d
commit 41b537d
Show file tree

Hide file tree

Showing 13 changed files with 13,729 additions and 0 deletions.
diff --git a/app/static/all.css b/app/static/all.css
diff --git a/app/static/all.js b/app/static/all.js
diff --git a/app/static/jquery.terminal.min.css.map b/app/static/jquery.terminal.min.css.map
diff --git a/app/static/jquery.terminal.min.js.map b/app/static/jquery.terminal.min.js.map
diff --git a/js/all.js b/js/all.js
diff --git a/src/compile.sh b/src/compile.sh
@@ -0,0 +1,5 @@
+echo ""> ../app/static//all.js
+cat js/jquery-3.6.4.min.js js/jquery.mousewheel-min.js js/jquery.terminal-2.35.3.min.js js/keyboard.js js/unix_formatting.js js/wcwidth.js >> ../app/static/all.js
+
+echo "" > ../app/static//all.css
+cat ./css/*.css >> ../app/static/all.css
diff --git a/src/css/jquery.terminal-2.35.3.min.css b/src/css/jquery.terminal-2.35.3.min.css
diff --git a/src/js/jquery-3.6.4.min.js b/src/js/jquery-3.6.4.min.js
diff --git a/src/js/jquery.mousewheel-min.js b/src/js/jquery.mousewheel-min.js
diff --git a/src/js/jquery.terminal-2.35.3.min.js b/src/js/jquery.terminal-2.35.3.min.js
diff --git a/src/js/keyboard.js b/src/js/keyboard.js