Hi

There's a handy cross platform utility called 'zenity' for creating dialog 
boxes in shell scripts: https://en.wikipedia.org/wiki/Zenity

I use the following script (in Linux) to load my various wikis -- this 
allows me to choose both a wiki to serve and a port for the server:

#!/bin/sh
wiki=$(zenity --title="Start Wikis" --list --height=300 --text="Choose 
which wiki to start" --radiolist --column="" --column="Wiki" a wiki1 b 
wiki2 c wiki3 ... x blank)
port=$(zenity --title="Select Port" --list --height=300 --text="Choose 
which port" --radiolist --column="" --column="Port" a 8080 b 8081 c 8082 d 
8083 ...)
cd /path/to/wikis/$wiki; tiddlywiki --server $port || exit 1 

-- where each of the parameters wiki1, wiki2 etc is the name of the folder 
containing the wiki.

regards
 
On Wednesday, January 8, 2014 12:53:55 AM UTC+2, Jeremy Canady wrote:
>
> Is it possible to change the port the node.js server uses? 8080 is very 
> common. It would be extremely handy to change the port with a simple 
> command line switch. 
>

-- 
You received this message because you are subscribed to the Google Groups 
"TiddlyWiki" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/tiddlywiki.
For more options, visit https://groups.google.com/d/optout.

Reply via email to