02-09-2018, 21:00:42
Une fois bien stable (donc pour une PrimTux 4.1 ou d'avantahe) et avec un peu de contenu, on pourra le faire évoluer avec des fonctionnalité de cet ordre :
1. inclure dans notre dépôt GIT l'ensemble de ces handymenus thématiques.
2. Créer le compte d'un bot GIT (un utilisateur de GIT mais qui est piloté par un logiciel)
3. Si le professeur a internet et qu'il a créé ou enrichi un handymenu, il pourra souhaité le partager à la communauté (l'ensemble des utilisateurs de PrimTux).
Il disposerait de ce fait d'un bouton "publier ce handymenu".
Le clic sur ce bouton déclencherait les actions suivantes :
- création d'une branche git unique
- ajout ou modification d'un fichier yaml correspondant à ce nouveau thème dans un commit GIT
- git push
- demande de pull request correspondante
4. Si la demande est recevable, il nous sera possible de regarder le diff (ah, tiens, il a rajouté ce logiciel qui correspondant bien à ce thème),
la merger et par conséquent faire profiter de sa contributuion au plus grand nombre via la prochaine mise à jour.
1. inclure dans notre dépôt GIT l'ensemble de ces handymenus thématiques.
2. Créer le compte d'un bot GIT (un utilisateur de GIT mais qui est piloté par un logiciel)
3. Si le professeur a internet et qu'il a créé ou enrichi un handymenu, il pourra souhaité le partager à la communauté (l'ensemble des utilisateurs de PrimTux).
Il disposerait de ce fait d'un bouton "publier ce handymenu".
Le clic sur ce bouton déclencherait les actions suivantes :
- création d'une branche git unique
- ajout ou modification d'un fichier yaml correspondant à ce nouveau thème dans un commit GIT
- git push
- demande de pull request correspondante
4. Si la demande est recevable, il nous sera possible de regarder le diff (ah, tiens, il a rajouté ce logiciel qui correspondant bien à ce thème),
la merger et par conséquent faire profiter de sa contributuion au plus grand nombre via la prochaine mise à jour.