Re: Debian Edu and Raspberry Pi

[Petter Reinholdtsen]

[Roman Meier]
> How good or bad are experiences with Debian Edu running on Raspberry Pis?
> Is this a viable option?

I know the RPi 1 was a little short on memory, it could run as a thin
client and a fairly limited desktop.  512 MiB of RAM is not a lot these
days.  I would imagine the RPi 3 would work just fine.  I do not believe
anyone tested this the last few years, but the recipe you found should
get you started at least.  Perhaps the recipe still work?  It try to
replicate the installation procedure run from the normal installer, so
it just might. :)

-- 
Happy hacking
Petter Reinholdtsen

Bug#950987: debian-edu-doc: updating manuals from wiki.debian.org fails due to changed docbook export

[Wolfgang Schweer]

Package: debian-edu-doc
Version: 2.10.22
Severity: important

Hi,

after the docbook export from wiki.debian.org has undergone changes, 
updating the manuals from there is no longer possible.

Some changes needed adjustments on the wiki pages, those have been done 
the last days. Also, some other errors showed up that have been fixed, 
esp. the copyright chapter has been missing on the debian-edu-itil 
AllInOne page.

To cope with the docbook export changes, the manuals are now fetched as 
AllInOne XML files (docbook flavour) from wiki.d.o and kept as source 
files that are processed further to generate the edu manuals in XML, 
HTML, EPUB and PDF format.

As this has been a major change, all needed adjustments have been pushed 
to salsa.d.o for review; see:
https://salsa.debian.org/debian-edu/debian-edu-doc/blob/schweer-bullseye/

Wolfgang


signature.asc
Description: PGP signature