Embed Notice

@lettosprey @cody @chirpbirb @colinstu @coolbean
So let me drop some background on this.

When I went to University, I already had a degree in programming. There were a dozen staff there, and I was the most competent programming teacher in the entire school. Note that I didn't work for the school because I didn't have a masters, I taught night classes and did tutoring.

I wasn't being paid to look at this stuff.

When I first started helping students, I would have all this trouble with their space-based code indentation, where I would be trying to quickly flip through it and my cursor would keep getting lost in the indentation or I would have to figure out how many spaces they were using whenever I added a line.

At some point I realized I was spending like 10 minutes extra on the ones who weren't using tabs, so I wrote a script that quickly converted spaces into tabs.

At some point I put it up and started making them use this before they brought it to me.