Give the kid a secondhand Thinkpad running OpenBSD, teach him basic shell, and tell him about the man command. He ought to be able to figure the rest out on his own.