Merci !
À part quelques trucs (je garde "chaine" plutôt que "chaîne", et autres accents circonflexes), tout le reste est très bien.
Pour le tgz, j'ai pas mal hésité, mais je voulais pouvoir faire lancer une partie sans cloner le dépot. Pour mon TP, je mets l'archive sur ma page web, mais vu la taille, j'ai décidé de mettre le tgz dans le dépot. (J'ai un pre-commit qui le regénère.)
J'utilise (un peu) shellcheck sur les sources de GameShell à travers un plugin vim.
Et pour les dates, c'est un choix pragmatique : je ne voulais pas avoir à expliquer la différence à tous les étudiants ! Comme on est sur une utilisation interactive, ça ne me dérange pas. (Ça serait différent si je leur demandais d'écrire un script.)
[^] # Re: Essai et premiers retours
Posté par phyve . En réponse à la dépêche GameShell, apprendre les rudiments du shell en s'amusant. Évalué à 2.
Merci !
À part quelques trucs (je garde "chaine" plutôt que "chaîne", et autres accents circonflexes), tout le reste est très bien.
Pour le tgz, j'ai pas mal hésité, mais je voulais pouvoir faire lancer une partie sans cloner le dépot. Pour mon TP, je mets l'archive sur ma page web, mais vu la taille, j'ai décidé de mettre le tgz dans le dépot. (J'ai un
pre-commitqui le regénère.)J'utilise (un peu) shellcheck sur les sources de GameShell à travers un plugin vim.
Et pour les dates, c'est un choix pragmatique : je ne voulais pas avoir à expliquer la différence à tous les étudiants ! Comme on est sur une utilisation interactive, ça ne me dérange pas. (Ça serait différent si je leur demandais d'écrire un script.)