Error ejecutando ese comando: diff -U 5 "/tmp/oKmP37" "/tmp/HOHRAh"

No output on STDOUT.