[debian-edu-commits] [Debian Wiki] Trivial Update of "DebianEdu/HowTo/RaspberryPiWorkstation" by WMartinBorgert

[Debian Wiki]

Dear Wiki user,

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

The "DebianEdu/HowTo/RaspberryPiWorkstation" page has been changed by WMartinBorgert:
https://wiki.debian.org/DebianEdu/HowTo/RaspberryPiWorkstation?action=diff&rev1=19&rev2=20

Comment:
fix typo

- This is a description on how to install Debian Edu / Skolelinux on a Raspberry PI using Raspian and debian-edu metapackages.
+ This is a description on how to install Debian Edu / Skolelinux on a Raspberry PI using Raspbian and debian-edu metapackages.
  
  == The solution ==
  
- Since there is no offically released version of Debian Edu for Raspberry Pi but it can be easily installed manually. We need to install Debian on Raspberry first, then transform it to a regular Debian Edu workstation. We will start by installing Raspian. This is a version of Debian that is specially made for Raspberry. After that we install the debian-edu metapackes using a script to transform the installation into a Debian Edu workstation (which needs a Debian Edu main-server [[http://wiki.debian.org/DebianEdu/Documentation/Wheezy/GettingStarted|to be useful.]].
+ Since there is no offically released version of Debian Edu for Raspberry Pi but it can be easily installed manually. We need to install Debian on Raspberry first, then transform it to a regular Debian Edu workstation. We will start by installing Raspbian. This is a version of Debian that is specially made for Raspberry. After that we install the debian-edu metapackes using a script to transform the installation into a Debian Edu workstation (which needs a Debian Edu main-server [[http://wiki.debian.org/DebianEdu/Documentation/Wheezy/GettingStarted|to be useful.]].
  
  == Installation instructions ==
- 1. Download [[http://www.raspberrypi.org/downloads |Raspian]].
+ 1. Download [[http://www.raspberrypi.org/downloads |Raspbian]].
  
  2. Write the image to a SD card using either UNIX tool [[http://en.wikipedia.org/wiki/Dd_(Unix) |dd.]] or if you are Windows user [[http://sourceforge.net/projects/win32diskimager/|Win32DiskImager.]]