Только для справки: он получил «исправление» в Ubuntu 12.10, потому что gnome-terminal (ну, фактически, vte) больше не берет эти символы рисования линии из шрифта, а имеет специальный код, чтобы нарисовать их вручную вместо этого. [!d0 ]