(Re-)Start a server at Port serving all currently installed packs.
Only tested on linux.
% upsh spudlike
Opts
- allow(Allow=[])
- Ips allowed to connect to server
- browser(Browser=true)
- whether to start a browser window authomatically. if not a boolean is taken to be the page to start
- ignore(AbsIgnore=_1958)
- ignore file in this absolute location
- kill(Kill=true)
- whether to kill existing server
- port(Port=3003)
- port for server
- scripts(Scripts=false)
- experimental: untested, whether to load to server, upsh locatable scripts
- server(Server=localhost)
- domain name of the server to access
You can add something like the following to a launcher in your linux windows manager:
/usr/local/users/nicos/local/git/bin/swipl -f none
-g "doc_collect(true),[pack(spuds/scripts/spudlike)]" -t spudlike
/usr/local/users/nicos/local/git/bin/swipl -f none
-g "[pack(spuds/scripts/spudlike)]" -g spudlike
/usr/local/users/nicos/local/git/bin/swipl -f none
-g "doc_collect(true),[pack(spuds/scripts/spudlike)]"
-g "spudlike(browser('search?for=stoics_lib&in=all&match=summary'))"
which will also give you doc for any start-up loading packs (and spudlike/0,1). The "-f" is critical in that normal user profile is not loaded before
the server has been started (in which case it will not be in the doc server).
- author
- - nicos angelopoulos
- version
- - 0.2 2018/01/26
- - 0.3 2018/02/07, removed dependency to by_unix
- - 0.4 2019/03/21, generalise for home network use. added options and CLI example
- - 0.5 2020/03/19, steadfast kill code; doc enhancements; work in tmp dir courtesy tmp_file/2; browser to page
- - 0.6 2020/08/20, first take on running on macs (no killing yet)