add a cool lua repl

2023-12-13 16:10:08 +11:00
parent 5a2f0b08e0
commit 64b106c13e
87 changed files with 8150 additions and 5 deletions
@@ -0,0 +1,41 @@
+-- Copyright (c) 2011-2015 Rob Hoelz <rob@hoelz.ro>
+--
+-- Permission is hereby granted, free of charge, to any person obtaining a copy of
+-- this software and associated documentation files (the "Software"), to deal in
+-- the Software without restriction, including without limitation the rights to
+-- use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
+-- the Software, and to permit persons to whom the Software is furnished to do so,
+-- subject to the following conditions:
+--
+-- The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+--
+-- THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+-- IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
+-- FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
+-- COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
+-- IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+-- CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+if os.getenv 'LUA_REPL_RLWRAP' then
+  features = 'input'
+else
+  -- XXX check that we're not receiving input from a non-tty
+  local has_rlwrap = os.execute('which rlwrap >/dev/null 2>/dev/null')
+
+  if type(has_rlwrap) ~= 'boolean' then
+    has_rlwrap = has_rlwrap == 0
+  end
+
+  if not has_rlwrap then
+    error 'Please install rlwrap in order to use the rlwrap plugin'
+  end
+
+  local lowest_index = -1
+
+  while arg[lowest_index] ~= nil do
+    lowest_index = lowest_index - 1
+  end
+  lowest_index = lowest_index + 1
+  os.execute(string.format('LUA_REPL_RLWRAP=1 rlwrap %q %q', arg[lowest_index], arg[0]))
+  os.exit(0)
+end