M gitmanual, terminal.txt