Wyszukiwarka „backspace” i „overstrike” uzyskałaby lepsze wyniki.
Plik jest podręcznikiem sformatowanym za pomocą nroff
. Zwykle pliki takie jak bash.0
są po prostu generowane i odrzucane. Jakiś czas temu zostali uratowani, aby ograniczyć pracę man
programu. Zamiast /usr/share/man/man1
tego strony podręcznika zostałyby odczytane /usr/share/man/cat1
. Przeczytaj opis catman
na przykład.
nroff
to uniksowe polecenie formatowania stron podręcznika i innych plików. Kiedy pisano go po raz pierwszy, istniało kilka innych narzędzi, każde z własnym językiem znaczników. Użyłem co najmniej tuzina różnych. Ale wszystkie rozwiązały problem drukowania podkreślonego tekstu w ten sam sposób: za pomocą kontroli karetki. Odstępy są zauważalne, ponieważ nie są używane w innych plikach tekstowych. Tabs , powroty karetki , line-karma i form-zasila wszystkie odgrywać rolę w plikach tekstowych (choć Form-kanały są znacznie mniej ważne niż były pierwotnie).
nroff
używa podkreślenia, aby wskazać kursywą i overstrike, aby przedstawić pogrubienie . Technika jest datowana: jest przydatna w przypadku urządzeń drukowanych, w których można wydrukować więcej niż jeden znak w tej samej pozycji. Bardzo niewiele terminali wideo to robi. W terminfo(5)
, która byłaby
over_strike os os terminal can over-
strike
lub bardziej kompletnie :
Jeśli terminal przebije (zamiast wyczyścić pozycję, gdy postać zostanie powalona), powinien mieć taką os
możliwość.
W zwykłym przypadku ostatni znak zapisany w danym wierszu / kolumnie terminala wideo byłby wszystkim, co pokazano. nroff
zorganizował wynik tak, że podkreślony znak został zapisany jako podkreślenie, backspace i rzeczywisty znak. Dzięki temu terminale bez funkcji overstrike wydrukują coś pożytecznego.
Wśród niewielu wymienionych terminali wideo, które mają funkcję overstrike, widzę DEC gt40 , którego używałem przez około trzy lata (1976-1979). W tym systemie nie było Uniksa (działał RT-11), ale napisałem formatyzator tekstu , używając tego samego typu tekstu przerywanego. W końcu potrzebowałem papierowej kopii i napisałem narzędzie, aby tak się stało - może coś w rodzaju col
- ale rozwiązanie podobnego problemu. Terminal drukował bardzo powoli, kiedy miał dużo podkreślonego tekstu, dopóki mój program nie zreorganizował tekstu, aby zmniejszyć ilość przełączania między ruchem do przodu / do tyłu.
W przypadku terminali wideo nie ma takiej potrzeby. Ale nie robią nadmiernego uderzenia. Zamiast tego mamy programy, które rozpoznają podkreślenie i pokazują podkreślenia lub mają takie groff
, które mogą pokazywać kolorowy tekst zamiast podkreślenia (i pogrubienia).
Dalsza lektura: