view host/serve_dev.sh @ 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 59731f7c24ce
children
line wrap: on
line source

#!/bin/bash

set -e

. check_app.sh

checkStopped;

java -classpath $CLASSPATH luan.Luan run.luan console 2>&1 | tee err