I suspect you can adjust the recipe available from
<URL: https://wiki.debian.org/DebianEdu/HowTo/RaspberryPiWorkstation >
to get it working, assuming the partitioning is good.
That recipe is for installing a workstation/client, but I also want to install a server.
The first step should be to install "debian-edu-config", but then it is not quite clear what steps to follow or what scripts to call.
Thanks anyway for the suggestion.
Dashamir