Record Case Detail - VE482 FA2020 (Manuel) - JOJ

This function is in beta test. Please help improve it in the issues here.

 pwd: /out/package
ppid: 77503
   1: WRITELN cat < non-existing.txt
   2: WRITELN exit

mumsh $ non-existing.txt: No such file or directory
mumsh $ exit

mumsh $ non-existing.txt: No such file or directory
mumsh $ exit