Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Regular windows and echo for editing suggested #395
@LiuGangKingston, would you like to add the first item (about changing the font size in Git Bash) into the instructor guide for the shell lesson? You can find it here https://github.com/swcarpentry/shell-novice/blob/gh-pages/_extras/guide.md. There a Windows specific paragraph at the end.
It would be much useful there and as I said learners are supposed to go thru this lesson first.