bash-manual-31-mod