if a try instead:
$ lava-develop-local /path/to/lava-server-demo
everything seems fines, but then it does not work at all. i.e. no "Demo" link at the top menu, nothing.
if a try instead:
$ lava-develop-local /path/to/ lava-server- demo
everything seems fines, but then it does not work at all. i.e. no "Demo" link at the top menu, nothing.