Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > gnu.bash.bug > #11482

Re: [MAN PAGE] bash

Show all headers | View raw

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

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: [MAN PAGE] bash Greg Wooledge <wooledg@eeg.ccf.org> - 2015-09-04 11:48 -0400

csiph-web