Я работаю в bash под Ubuntu 10.04 на данный момент, но решение было бы интересно и в других средах (например, Windows cmd.исполняемый.) Обычно я переименовываю первый файл с временным именем, переименовываю второй файл с первым именем и, наконец, переименовываю временный файл со вторым именем. Есть ли идиома или программа для этого за один шаг?
пример (bash):
$ mv file1 tmp; mv file2 file1; mv tmp file2