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