man should support retrieval of remotely available manpages via wget/curl
Bug #270984 reported by
Dustin Kirkland
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Ubuntu Manpage Repository |
Triaged
|
Wishlist
|
Unassigned | ||
man-db (Ubuntu) |
Triaged
|
Wishlist
|
Unassigned |
Bug Description
The Ubuntu Manpage Repository provides gzip'd manpages at:
* http://
The 'man' system tool should be enhanced to support a mode where manpages which are not locally available on the system are remotely retrieved using wget or curl.
A prototype of this functionality is available in lp:ubuntu-manpage-repository as bin/dman, which is a simple, wrapper shell script that remotely retrieves the requested manpage using wget, writing the output to a tempfile and pointing man -l at it. This is clearly inadequate for a number of reasons, yet it does prove the concept.
:-Dustin
Changed in ubuntu-manpage-repository: | |
status: | New → Confirmed |
Changed in ubuntu-manpage-repository: | |
importance: | Undecided → Wishlist |
Changed in man-db: | |
importance: | Undecided → Wishlist |
status: | Confirmed → Triaged |
Changed in ubuntu-manpage-repository: | |
status: | Confirmed → Triaged |
To post a comment you must log in.
Hi Dustin,
As ever, a superb idea. I would certainly use this feature. I've looked at the bzr repo for this and it looks like you've put some significant work towards this - if you intend to implement this past a proof of concept, would it be worth assigning the bug to yourself?