Careful readers of the manual will find this commentary from the bash maintainers: $ man bash | sed -n '/BUGS/,/^$/p' BUGS It's too big and too sl

Careful readers of the manual will find this commentary from the bash maintainers: $ man bash | sed -n '/BUGS/,/^$/p' BUGS It's too big and too slow. It is at this point that such a reader will discover the reasons behind Debian dash.