On Fri, Aug 12, 2016 at 09:59:00AM -0400, d...@fifthhorseman.net wrote: > I think the documentation is wrong about the systemwide filename that > bash reads when a login shell exits. the manpage says > "/etc/bash.bash.logout", but the binary appears to be built with > "/etc/bash.bash_logout" (note the change from "." to "_").
This is a vendor (distribution) feature. Submit a bug report to your operating system. Upstream bash does not read either of those files, and does not mention either of them in its man page.