Collection of mostly command line tools / PHP scripts. Somewhat out of date.

⌈⌋ ⎇ branch:  scripts + snippets


Help: http-port

Command-List

The "http-port" setting:

The default TCP/IP port number to use by the "server" and "ui" commands.