X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=INSTALL;h=9bf20154454ecd0c083ca4555488fcacda176b65;hp=3b3731814de256e127a98e09e4053590e5376090;hb=38389139df0d6fd5a2c3c6845f7c2142521c3885;hpb=2ed89c59f0efcd0a2763f47c7d3455663241e623

diff --git a/INSTALL b/INSTALL
index 3b373181..9bf20154 100644
--- a/INSTALL
+++ b/INSTALL
@@ -78,24 +78,19 @@ to retrieve the list of available commands and some server info.
 
 Choose your database tool (dbtool)
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-You have three options:
+You have two options:
 
 	1. Use the mysql dbtool which comes with paraslash and requires
-	mysql. This is recommended.
+	mysql.
 
-	2. Use your own database tool. If you have that already,
-	skip this step.
-
-	3. If you can not use the mysql dbtool and you just want
-	to quickly make paraslash working, use the dopey dbtool.
+	2. If you can not use the mysql dbtool and you just want
+	to quickly make paraslash working, use the random dbtool.
 	The directory which is searched for audio files can be given
-	via the server option --dopey_dir.
-
-	Note, however, that dopey is _really_ dopey. It scans
-	$dopey_dir on every audio file change and chooses one
-	randomly. You get the idea. Have a look at its source code
-	and feel free to modify.
+	via the server option --random_dbtool_dir.
 
+	Note, however, that this database tool is really dopey. It
+	scans the given directory on every audio file change and
+	chooses one randomly. There is no further functionality.
 
 The current database tool can be changed at runtime via
 
@@ -120,19 +115,19 @@ on client_host:
 
 	mp3:
 
-		para_recv -r http:-i:server_host | para_filter -f mp3 -f wav | para_play
-		or
-		mpg123 http://server_host:8000/
-		or
-		xmms http://server_host:8000/
+	para_recv -r 'http -i server_host' | para_filter -f mp3dec -f wav | para_play
+	or
+	mpg123 http://server_host:8000/
+	or
+	xmms http://server_host:8000/
 
 	ogg:
 
-		para_recv -r http:-i:server_host | para_filter -f ogg -f wav | para_play
+	para_recv -r 'http -i server_host' | para_filter -f oggdec -f wav | para_play
 
 If this works, proceede. Otherwise doublecheck what is logged by
-para_server and use the --loglevel option of para_recv to increase
-verbosity.
+para_server and use the --loglevel option of para_recv, para_filter
+to increase verbosity.
 
 Configure para_audiod
 ~~~~~~~~~~~~~~~~~~~~~
@@ -147,7 +142,7 @@ the audio stream. Try
 for help. Usually you have to specify at least server_host as the
 receiver specifier, like this:
 
-	-r http:-i:server_host
+	-r 'mp3:http -i server_host'
 
 The prefered way to use para_audiod is to run it once at system start
 as an unprivileged user. para_audiod needs to create a "well-known"