edunumsec2 / book

Ressources pour l'enseignement de l'informatique au Gymnase.
https://modulo-info.ch
Other
26 stars 22 forks source link

[Bug]: .gitignore #81

Closed grgvn closed 1 year ago

grgvn commented 2 years ago

Page

Dans le répertoire GitHub

Que s'est-il passé ?

Dans le .gitignore, on ignore _docs/ et _build/.

Or le dossier docs se retrouve dans le dépôt GitHub.

Quel résultat était attendu ?

Je propose qu'on mette à jour le .gitignore, car l'output de 250Mo+ ne devrait pas être push/pull à chaque fois.

Sur quel navigateur ?

Autre

Quel format ?

Mobile

Logs pertinents

No response

Code of Conduct

elliotvaucher commented 2 years ago

@gregoiregavin : en effet, excellente suggestion. T'as besoin d'aide sur un point particulier ?

jppellet commented 2 years ago

Bonne idée! Veille à détruire l'output et committer la destruction avant la mise à jour du gitignore.

grgvn commented 2 years ago

Ok, je suis en train de faire un petit module pour Virginia et j'intègrerai également le changement de .gitignore.