changeset 199:34e1bc4fd6b2

Some fixes to the documentation.
author John "Elwin" Edwards
date Mon, 01 Feb 2016 21:20:12 -0500
parents ea28353d620a
children a7cc38a0168d
files README.txt
diffstat 1 files changed, 16 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/README.txt	Thu Jan 28 21:17:06 2016 -0500
+++ b/README.txt	Mon Feb 01 21:20:12 2016 -0500
@@ -22,10 +22,17 @@
 
 Configuration
 ---
-You can change the location of the chroot, the name of the dgamelaunch
-user, and the port number by editing the first few lines of the rlgwebd
-script.  If you change the chroot location, change it in the Makefile
-too.
+You can set some options by changing some variables in the first few
+lines of the rlgwebd script:
+
+Option		Variable	Default
+
+Chroot path	chrootDir	/var/dgl
+Username	dropToUser	rodney
+Server port	httpPort	8080
+
+If you change the chroot location, change it in the first line of the 
+Makefile too.
 
 Installation
 ---
@@ -71,6 +78,10 @@
 
 webtty
 ---
-webtty.js is a Node app which uses the terminal emulator to run a shell.  It
+"webtty" is a Node app which uses the terminal emulator to run a shell.  It
 includes NO SECURITY WHATSOEVER and should only be used for testing the 
 terminal emulator.  Copy index-sh.html to index.html before running it.
+
+Copyright status
+---
+All files in this project are in the public domain.