annotate website/src/examples/shell.html.luan @ 1648:224af797b1f9

Mainly small install script improvements - Consistent usage of `$LUANHOME`, removed reliance on current directory. - Made Luan build and install fine (on Linux) without requiring launching it via sudo. Only asks to elevate privileges if installation failed. - Minor spelling mistake fix.
author Fox
date Mon, 28 Mar 2022 18:00:12 +0200
parents 0064f0d4facc
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1249
0064f0d4facc fix tools examples
Franklin Schmidt <fschmidt@gmail.com>
parents: 1218
diff changeset
1 return require("luan:http/tools/Shell.luan").respond