xaizek / pinfo (License: GPLv2 only) (since 2018-12-07)
Console-based info and manual pages reader, which adds interactive navigation to man pages.
Clone URLs: https://code.reversed.top/user/xaizek/pinfo ssh://rocketgit@code.reversed.top/user/xaizek/pinfo
0.6.10 add-ax-check-compile-flag cxx glib master
Commit a2edf8ff2621a32b528cfd20631a9c22953a111f

Fix example of STDERR-REDIRECTION option in info
Author: xaizek
Author date (UTC): 2017-10-15 11:58
Committer name: xaizek
Committer date (UTC): 2019-02-02 12:08
Parent(s): 6d244c69ce0d6130ac77c8f0fe3f80aeaaf618a5
Signing key: 99DC5E4DB05F6BE2
Tree: 409636f642d809ae62426174d7138cd0b00b43e6
File Lines added Lines deleted
doc/pinfo.texi 1 1
File doc/pinfo.texi changed (mode: 100644) (index 8fc61c0..935df65)
... ... This specifies the options, which should be passed to the `man' program.
514 514 @item STDERR-REDIRECTION @item STDERR-REDIRECTION
515 515 Pinfo allows you to redirect the stderr output of called programs. For Pinfo allows you to redirect the stderr output of called programs. For
516 516 example if you don't want to see man's error messages about manual page example if you don't want to see man's error messages about manual page
517 formatting, you can use @samp{STDER-REDIRECTION"> /dev/null"}. This
517 formatting, you can use @samp{STDERR-REDIRECTION="2> /dev/null"}. This
518 518 is the default. is the default.
519 519
520 520 @item LONG-MANUAL-LINKS @item LONG-MANUAL-LINKS
Hints
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/pinfo

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/pinfo

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master