Error running this command: diff -U 5 "/tmp/LCgdom" "/tmp/pp4S20"
diff -U 5 "/tmp/LCgdom" "/tmp/pp4S20"
No output on STDOUT.