Port of the Windows command prompt to Linux-based machines