~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to doc/man/install.rst

  • Committer: Matt Giuca
  • Date: 2009-12-01 02:34:43 UTC
  • mto: This revision was merged to the branch mainline in revision 1322.
  • Revision ID: matt.giuca@gmail.com-20091201023443-hmqeqd01k9z60l95
doc/man/install: Conflicting advice for installing usrmgt-server init script. Now recommend installation to /etc/init.d/ivle-usrmgt-server.

Show diffs side-by-side

added added

removed removed

Lines of Context:
185
185
for many parts of IVLE to operate properly, so it should be configured to
186
186
start on boot. There is an example init script in
187
187
``examples/config/usrmgt-server.init``. For Debian or Ubuntu, copy it to
188
 
``/etc/init.d/ivle``. Start it now, and set it to start automatically: ::
 
188
``/etc/init.d/ivle-usrmgt-server``. Start it now, and set it to start
 
189
automatically: ::
189
190
 
190
 
   sudo /etc/init.d/usrmgt-server start
191
 
   sudo update-rc.d usrmgt-server defaults 99
 
191
   sudo /etc/init.d/ivle-usrmgt-server start
 
192
   sudo update-rc.d ivle-usrmgt-server defaults 99
192
193
 
193
194
 
194
195
Creating the initial user