changeset 100:fdc7c9818ca1

Highlight Windows command prompts as .bat files.
author Martin Geisler <mg@daimi.au.dk>
date Wed, 12 Mar 2008 19:00:54 +0100
parents 24593198a69d
children 5d906c656286
files install.txt
diffstat 1 files changed, 6 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/install.txt	Wed Mar 12 18:58:23 2008 +0100
+++ b/install.txt	Wed Mar 12 19:00:54 2008 +0100
@@ -53,7 +53,7 @@
 4) Download the configobj.zip file from
    `here`_ and enter
 
-   .. sourcecode:: sh
+   .. sourcecode:: bat
 
       python setup.py install
 
@@ -71,26 +71,26 @@
    a) Go to the ``viff/apps/`` directory and generate the the config file
       for this setup by entering
       
-      .. sourcecode:: sh
+      .. sourcecode:: bat
 
 	 python generate-config-files.py -n 3 -t 1 localhost:9001 localhost:9002 localhost:9003
 
    b) Open three separate command prompts and go to the ``viff/apps/``
       directory in each. In the first, type
 
-      .. sourcecode:: sh
+      .. sourcecode:: bat
 
 	 python millionaires.py --no-tls player-3.ini
 
       in the second, type
 
-      .. sourcecode:: sh	
+      .. sourcecode:: bat
 
 	 python millionaires.py --no-tls player-2.ini
 
       and in the last, type
 
-      .. sourcecode:: sh
+      .. sourcecode:: bat
 
 	 python millionaires.py --no-tls player-1.ini
 
@@ -99,7 +99,7 @@
       first. If the installation works, you should see something like
       this from e.g. player 3:
     
-      .. sourcecode:: sh
+      .. sourcecode:: bat
 
 	 C:\viff\apps> python millionaires.py --no-tls player-3.ini 
 	 Seeding random generator with random seed 7416