Logiciels éducatifs sur un système GNU/Linux (Debian)

Cette page explique le minimum à connaître sur un système GNU/Linux (ligne de commande, système de fichiers...)

Ajout 2018.05.13: la page debian.org/blends donne des listes de méta-paquets pour divers domaines.

1. Distributions

SkoleLinux / Debian-Edu est une distribution dédiée aux établissements scolaires, basée sur Debian 7.1 Wheezy.

2. Logiciels

gcompris est un ensemble (100Mo) de logiciels éducatifs, parfois ludiques. Il figure généralement dans les dépôts de votre distribution.

sucrose est une implémentation de l'environnement du projet XO, l'ordinateur pour moins de 100$. Pesant 68Mo (17Mo téléchargés), d'autres paquets sugar* sont disponibles.

tuxmath, jeu d'arcade mathématiques pour les enfants.

kturtle, turtleart, sugar-turtleart-activity, ucblogo sont des implémentation du langage logo développé pour une première approche de la programmation pour les enfants.

scratch est un langage très visuel développé pour les 8 ans et plus, permettant paraît-il des applications de haut niveau, dont l'intégration du multimédia (d'où le nom, qui évoque le mixage des DJ).

tuxpaint est un logiciel de dessin pour les enfants.

tuxtype est un logiciel d'apprentissage du clavier.

Ajout 2018.05.13: la page Debian Junior donne des listes de méta-paquets pour les applications éducatives.

3. Langues

Certains de ces logiciels ne sont pas trop intuitifs.

langdrill est une application anglophone permettant d'apprendre le japonais, le français et le suédois. Les dictionnaires, au format texte, sont limités à quelques dizaines de mots de vocabulaire (le japonais, sans kanji, est un peu plus fourni). Ils se trouvent en /usr/share/langdrill, où il est possible de les éditer ou, pourquoi pas, d'en créer (avec les droits super-utilisateur!). Le développement semble arrêté depuis 2009.

kdrill est un testeur de connaissance des kanji («idéogrammes» japonais). kanadic est un dictionnaire, makedic permet de fabriquer son propre dictionnaire.

anki et granule permettent de fabriquer des cartes de vocabulaire afin de s'auto-évaluer.

anki n'est plus disponible sous Debian 9.0 Stretch, puisqu'il ne supporte plus Qt4. Une page explique comment faire fonctionner cette application (en mode console):

wget http://snapshot.debian.org/archive/debian/20150613T221652Z/pool/main/p/python-qt4/python-qt4-sql_4.11.4%2Bdfsg-1_amd64.deb
wget http://snapshot.debian.org/archive/debian/20150613T221652Z/pool/main/p/python-qt4/python-qt4_4.11.4%2Bdfsg-1_amd64.deb

Et, en mode super-utilisateur:

suEn mode super-utilisateur: su [Enter] dpkg -i python-qt4_4.11.4+dfsg-1_amd64.deb python-qt4-sql_4.11.4+dfsg-1_amd64.deb

Récupérer la version pour Debian ici et en mode super-utilisateur, l'installer (adapter le numéro de version, qui peut changer):

suEn mode super-utilisateur: su [Enter] dpkg -i anki-2.0.8