Typing Thesis with Linux