diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-06 01:16:25 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-06 01:16:25 +0000 |
| commit | 493d99a59cc0189b4a6e9b5d4d74d9d747e34e01 (patch) | |
| tree | f874c5dd860f5340e2988d0ad4fd30724db945a1 /debian/mime | |
| parent | Adding upstream version 2.8.5. (diff) | |
| download | man-db-493d99a59cc0189b4a6e9b5d4d74d9d747e34e01.tar.xz man-db-493d99a59cc0189b4a6e9b5d4d74d9d747e34e01.zip | |
Adding debian version 2.8.5-2.debian/2.8.5-2debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/mime')
| -rw-r--r-- | debian/mime | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/debian/mime b/debian/mime new file mode 100644 index 0000000..3168d4a --- /dev/null +++ b/debian/mime @@ -0,0 +1,33 @@ +# priority=6 above the default 5 on the basis that viewing a man page +# with man is above average sensible. +# +# Priority above /usr/lib/mime/packages/groff-base "nroff -mandoc" +# since "man" has the advantage of running preprocessors such as tbl +# specified in the man page and so gives better results. Eg on +# /usr/share/man/man1/gtbl.1.gz (the tbl man page uses tbl). Locale +# charset handling in man is probably better too. +# +# "man -X" is only priority=6 since the gxditview it runs is rather +# basic and perhaps something more sophisticated could be higher. The +# X entry is before the tty so the X is preferred under X. (The tty +# one still works there, in its declared needsterminal.) +# +# "-X100" seems to make better output than the default -X 75 dpi. +# Dunno if that's some font dodginess or matching the X server's +# advertised screen size resolution or something. +# +# "test -e gxditview" because it's in the "groff" package which is +# only a Suggests of man-db and so may not be available. + +application/x-troff-man; /usr/bin/man -X100 -l '%s'; test=test -n "$DISPLAY" -a -e /usr/bin/gxditview; description=Man page; priority=6 +text/troff; /usr/bin/man -X100 -l '%s'; test=test -n "$DISPLAY" -a -e /usr/bin/gxditview; description=Man page; priority=6 +application/x-troff-man; /usr/bin/man -l '%s'; needsterminal; description=Man page; priority=6 +text/troff; /usr/bin/man -l '%s'; needsterminal; description=Man page; priority=6 + +# "-Tascii" gives backspace overstriking, so use "col -b" to undo +# that. Piping to col also means "man" has a non-tty output and so +# does not run its usual "more" etc pager, ensuring this entry is +# non-interactive. +# +application/x-troff-man; /usr/bin/man -Tascii -l '%s' | col -b; copiousoutput; description=Man page; priority=2 +text/troff; /usr/bin/man -Tascii -l '%s' | col -b; copiousoutput; description=Man page; priority=2 |