I have /tmp and /home on different partitions. When trying to move a file from /tmp to /home using File.renameTo() — it fails. Turns out one has to copy and delete the file himself, renameTo works only inside single partition.
I have /tmp and /home on different partitions. When trying to move a file from /tmp to /home using File.renameTo() — it fails. Turns out one has to copy and delete the file himself, renameTo works only inside single partition.