| Server IP : 74.208.127.88 / Your IP : 3.145.26.180 Web Server : Apache/2.4.41 (Ubuntu) System : Linux ubuntu 5.4.0-163-generic #180-Ubuntu SMP Tue Sep 5 13:21:23 UTC 2023 x86_64 User : www-data ( 33) PHP Version : 7.4.3-4ubuntu2.29 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /lib/mime/packages/ |
Upload File : |
# 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