История изменений
Исправление tailgunner, (текущая версия) :
Сперва надо удалить dir2/file, затем переименовать dir1/file. С этим же mv справляется
Мне стало любопытно, и я проверил твой пример. Единственно, что он мне выдал:
mv: cannot move 'dir1/dir' to 'dir2/dir': Directory not empty
ХЗ о чем ты рассуждаешь тут.
Исходная версия tailgunner, :
Сперва надо удалить dir2/file, затем переименовать dir1/file. С этим же mv справляется
Мне стало любопытно, и я проверил твой пример. Единственно, что он мне выдал:
mv: cannot move 'dir1/dir' to 'dir2/dir': Directory not empty
ХЗ о чем ты рассуждаешь тут.