Error ejecutando ese comando: diff -U 5 "/tmp/A0khot" "/tmp/HDS9TL"
diff -U 5 "/tmp/A0khot" "/tmp/HDS9TL"
No output on STDOUT.