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 afe969be38bb3969fc2c0181aa75bc7b2a928992

Disable readline completion
It messes up the screen and completes file names, which doesn't make
sense in pinfo.
Author: xaizek
Author date (UTC): 2019-02-02 12:08
Committer name: xaizek
Committer date (UTC): 2019-02-02 12:08
Parent(s): 50a0e7d3ffef2d2d9029434d2a7ce5936a2eb671
Signing key: 99DC5E4DB05F6BE2
Tree: 392944606debe66261d31459844824ceb316591d
File Lines added Lines deleted
src/utils.c 22 0
File src/utils.c changed (mode: 100644) (index ed71063..fa7f155)
... ... my_rl_display()
243 243 printw("%s%s", rl_prompt, rl_line_buffer); printw("%s%s", rl_prompt, rl_line_buffer);
244 244 refresh(); refresh();
245 245 } }
246
247 void
248 my_rl_completion_display_matches(char *matches[], int num, int max)
249 {
250 (void)matches;
251 (void)num;
252 (void)max;
253 }
254
255 char *
256 my_rl_completion_entry(const char text[], int state)
257 {
258 (void)text;
259 (void)state;
260 return NULL;
261 }
246 262 #endif #endif
247 263
248 264 char * char *
 
... ... getstring(char *prompt)
258 274
259 275 rl_readline_name = PACKAGE; rl_readline_name = PACKAGE;
260 276
277 /* prevent displaying completion menu, which could mess up output */
278 rl_completion_display_matches_hook = my_rl_completion_display_matches;
279
280 /* disable filename completion */
281 rl_completion_entry_function = my_rl_completion_entry;
282
261 283 /* set display function for readline to my_rl_display and call readline */ /* set display function for readline to my_rl_display and call readline */
262 284 rl_redisplay_function = my_rl_display; rl_redisplay_function = my_rl_display;
263 285 buf = readline(prompt); buf = readline(prompt);
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