Re: [MAN PAGE] bash

2015-09-04 Thread Greg Wooledge
On Fri, Sep 04, 2015 at 04:54:29PM +0200, Julien PRIGENT wrote: > (some HTML stuff about /etc/bash.logout or something) This file is not part of standard bash. It has been compiled as an addition by your operating system vendor/distributor. The FILES section in the standard bash man page looks

[MAN PAGE] bash

2015-09-04 Thread Julien PRIGENT
Hello everybody,   There's a mistake on the Bash 4.3 man page, the path wirtten for the default logout options is /etc/bash.bash.logout and it only work on  /etc/bash.bash_logout.   Thank you in advance.