https://github.com/dillo-browser/dillo-plugin-man

Dillo plugin for man pages
https://github.com/dillo-browser/dillo-plugin-man

dillo dillo-plugin

Last synced: about 1 month ago
JSON representation

Dillo plugin for man pages

• Host: GitHub
• URL: https://github.com/dillo-browser/dillo-plugin-man
• Owner: dillo-browser
• License: gpl-3.0
• Created: 2023-12-23T23:57:54.000Z (about 1 year ago)
• Default Branch: master
• Last Pushed: 2024-05-08T19:36:27.000Z (8 months ago)
• Last Synced: 2024-07-11T03:41:26.496Z (6 months ago)
• Topics: dillo, dillo-plugin
• Language: Shell
• Homepage:
• Size: 210 KB
• Stars: 6
• Watchers: 3
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Man plugin for Dillo

Shows local manual pages as HTML in Dillo with clickable links to other

manual pages. It uses the [man(1)](man:man) program to generate the HTML

from the manual pages (with the -T html extension) and [sed(1)](man:sed)

to manipulate the HTML.

It comes with a CSS style file that improves the display of manual

pages and can be modified to change the appearance.





## Installation

To install the plugin use:

```

$ make install

```

The two files `man.filter.dpi` and `style.css` will be copied into 

`~/.dillo/dpi/man/`. Edit `style.css` as needed.

## Usage

The manual pages are accessed by the name of the manual page alone, 

`man:bash`, or with the section number in parenthesis to specify the

manual section, `man:read(3)`.

Here are some examples to test it from the command line:

```

$ dillo man:git

$ dillo man:namespaces

$ dillo "man:groff(7)"

```