Tidied up the tinyproxy integration and added env vars and documentation

tinyproxy/setport.sh

@@ -0,0 +1,22 @@
+#!/bin/bash
+
+PROXY_CONF='/etc/tinyproxy.conf'
+
+re='^[0-9]+$'
+if ! [[ $1 =~ $re ]] ; then
+   echo "Port: Not a number" >&2; exit 1
+fi
+
+# Port: Specify the port which tinyproxy will listen on.  Please note
+# that should you choose to run on a port lower than 1024 you will need
+# to start tinyproxy using root.
+
+if [ $1 \< 1024 ];
+then 
+    echo "$1 is lower than 1024. Ports below 1024 are not permitted.";
+    exit 1
+fi;
+
+sed -i -e"s,^Port .*,Port $1," $PROXY_CONF
+
+exit 0