Re: [MAN PAGE] bash

[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 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