2019-05-02 14:32:24 +02:00
|
|
|
diff -uNr bash-completion-2.9/completions/man bash-completion-2.9.mod/completions/man
|
|
|
|
--- bash-completion-2.9/completions/man 2019-04-27 11:54:49.000000000 +0300
|
|
|
|
+++ bash-completion-2.9.mod/completions/man 2019-05-02 15:36:06.454990217 +0300
|
2018-05-13 01:37:03 +02:00
|
|
|
@@ -51,8 +51,7 @@
|
|
|
|
return
|
2017-05-25 22:16:35 +02:00
|
|
|
fi
|
|
|
|
|
2019-05-02 14:32:24 +02:00
|
|
|
- local manpath=$(manpath 2>/dev/null || command man -w 2>/dev/null)
|
2017-05-25 22:16:35 +02:00
|
|
|
- [[ -z $manpath ]] && manpath="/usr/share/man:/usr/local/share/man"
|
2018-05-13 01:37:03 +02:00
|
|
|
+ local manpath="@TERMUX_PREFIX@/share/man"
|
2017-05-25 22:16:35 +02:00
|
|
|
|
|
|
|
# determine manual section to search
|
|
|
|
local sect
|