Installer un serveur PLaTon

Voici des informations pour installer un serveur PLaTon

Version 0.75

Le coeur de la plateforme PLaTon, principalement construit sur la technologie Django se trouve dans le github ici : https://github.com/PremierLangage/premierlangage Vous pouvez trouver, au bout de ce lien les dépendances pour installer un tel serveur. Le dépôts abritent aussi de la documentation dédiée ainsi que des scripts d'installation dans le répertoire idoine.

Vous aurez aussi besoin d'une collection de sandbox disponibles dans de dépôt distinct https://github.com/PremierLangage/sandbox Là, encore, de nombreuses informations sont disponibles directement sur GitHub.

Enfin, les ressources pédagogiques sont régulièrement synchronisées avec le dépôts Yggdrazil. Attention, à terme, Yggdrazil sera l'unique image pour l'hébergement de ressources.

Si les informations disponibles sur ces trois dépôts vous sont insufisantes, le plus simple est venir trouver un développeur sur le salon discord du projet PLaTon.

Version 1.0

Cette version de PLaTon, attendue en 2021, n'est pas encore sortie.