Does /etc/profile need to set MANPATH?

Mikhail Usenko cygwin@inbox.ru
Mon Jul 20 14:15:00 GMT 2015


On 2015年7月20日 16:42:49 +0300
Mikhail Usenko <...> wrote:
> 1) if you run manpath from the command line in clean Cygwin installation you find out that
> "${HOME}/man" is (and always remains) in your searching path by default even if you have no "${HOME}/man"
> in your home directory path

Amend: In fact "${HOME}/man" is dynamically added/removed to the search path on its creation/deletion.
--
Problem reports: http://cygwin.com/problems.html
FAQ: http://cygwin.com/faq/
Documentation: http://cygwin.com/docs.html
Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple


More information about the Cygwin mailing list

AltStyle によって変換されたページ (->オリジナル) /