The GNU Portable Shell Tool
