Не удается открыть MiKTeX, ошибка «Файл пуст». Не удается удалить

Просто чтобы расширить полезность ответа cuonglm (НЕ приписывать себе никаких заслуг, поскольку мне нравится его решение )и его ответ правильный.

Вариант использования заключается в том, что нам часто требуется mv файл в удаленном расположении (реальная проблема ), например. /folder/subfolder/configFile.dat TO configFile.dat.orig

Эта форма команды добавляет расширение файла (, не заменяя исходное расширение)

mv ~/folder/subfolder/file.txt{,.orig}

Объяснение :"{,.orig}" означает замену (ничего )в конце имени файла на (что-то )".orig"

ИЛИ для удалить расширение файла(отменить переименование)

mv ~/folder/subfolder/file.txt{.orig,}

Примечание :Все еще по теме «Самый быстрый способ переименовать файлы без повторного ввода пути к каталогу»