search

dbosk / introtools

Teaching material introducing some basic (CS) tools
https://daniel.bosk.se/introtools
Other
0 stars 0 forks source link

Check that SSH grading uses right username #104

Open dbosk opened 1 year ago

dbosk commented 1 year ago

Make sure that the usernames are added to all invocations of ssh.