bash(1) -- Linux man page