Vincent Aranega f5a9393d4b Enhanced font detection for terminology ...

As 'grep -B' is a GNU extension, a more portable solution is preferable. The most direct and simple solution would be using 'awk':

    awk '/^font.name$/{print a}{a=$0}'

But a sed solution could also be applied:

    sed -n '/^font\.name$/{g;1!p;};h'

2016-06-16 15:39:30 +02:00

92 KiB

Executable File

Raw Blame History

View Raw