Ну то, что можно настроить спец настройки терминала - это конечно фича, но то, что первый принт не печатает, а второй печатает - это явно баг.