luajit: add page, lua: update page (#10206)

2023-05-17 12:14:45 +02:00
parent 5c745629c2
commit 56c232b361
2 changed files with 19 additions and 2 deletions
--- a/pages/common/lua.md
+++ b/pages/common/lua.md
@@ -9,8 +9,8 @@

 - Execute a Lua script:

-`lua {{script_name.lua}} {{--optional-argument}}`
+`lua {{path/to/script.lua}} {{--optional-argument}}`

 - Execute a Lua expression:

-`lua -e '{{print( "Hello World" )}}'`
+`lua -e '{{print("Hello World")}}'`