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 like this:
FILES
/bin/bash
The bash executable
/etc/profile
The systemwide initialization file, executed for login shells
~/.bash_profile
The personal initialization file, executed for login shells
~/.bashrc
The individual per-interactive-shell startup file
~/.bash_logout
The individual login shell cleanup file, executed when a login
shell exits
~/.inputrc
Individual readline initialization file
