[debian-edu-commits] [Debian Wiki] Update of "DebianEdu/Documentation/Stretch/Installation" by WolfgangSchweer

[Debian Wiki]

Dear Wiki user,

You have subscribed to a wiki page or wiki category on "Debian Wiki" for change notification.

The "DebianEdu/Documentation/Stretch/Installation" page has been changed by WolfgangSchweer:
https://wiki.debian.org/DebianEdu/Documentation/Stretch/Installation?action=diff&rev1=25&rev2=26

Comment:
better explain how to edit boot options.

  This Help screen is self explaining and enables the <F>-keys on the keyboard for getting more detailed help on the topics described.
  
  
- ''Additional boot parameters for installations''
+ ''Add or change boot parameters for installations''
  
- In both cases, boot options can be edited by pressing the TAB key in the boot menu.
+ In both cases, boot options can be edited after pressing the TAB key in the boot menu.
- 
+ <<BR>>
+ {{attachment:BD_command_line.png|Edit command line options}}
+ <<BR>>
   * You can use an existing HTTP proxy service on the network to speed up the installation of the main server profile from CD. Add {{{mirror/http/proxy=http://10.0.2.2:3128/}}} as an additional boot parameter.
   * If you have already installed the main server profile on a machine, further installations should be done via PXE, as this will automatically use the proxy of the main server.
   * To install the '''GNOME''' desktop instead of the '''MATE''' desktop, add {{{desktop=gnome}}} to the kernel boot parameters.