Channels
#education
Title
# education
p
pdvrieze
03/02/2021, 10:51 AMOne thing on the edutools that I do (but isn't really supported nicely) is to use github classroom to host the course (student content). I want to get students used to using git(hub) as well. The experience could be a bit tighter
👍 1
a
altavir
03/02/2021, 11:47 AMWe used github classroom last year with standard idea tools. I do not remember principial problems.
k
Ksenia Shneyveys
03/02/2021, 6:02 PMThank you for sharing this, @pdvrieze! Is there any particular feedback I can pass along to the EduTools team?
p
pdvrieze
03/02/2021, 6:07 PMWhat I currently do is to use the preview course and then put that on github. That works (more or less - there were compatibility issues reusing last year's version with this year's edutools). The export to zip creates a json file. I would like an "export as student project" function that would be an intended (and supported) target. It may be a matter of renaming the option.
I actually use adapted versions of the koans (pacing features) split into multiple separate exercises (for different weeks)
🙏 1
k
Ksenia Shneyveys
03/03/2021, 1:58 PMThank you, I passed the feedback to the EduTools team.
@pdvrieze, we’ve created two issues you can vote for:
1. Github Classroom Support
2. Inconvenience of student project creation
We’ll try to resolve the second issue in the next releases, can’t say anything about Github Classroom for now.
p
pdvrieze
03/03/2021, 3:53 PMGreat
5 Views