Не совсем понятно, какой дистр используется и кого будут обучать (трудовиков и физруков тоже?).
А, вроде как Alt Linux, в который я даже VLC не смог установить.
Вообще, если по уму делать, то надо вводить в педагогических вузах курс "Основы Линукс" или типа того.