Как создать новый файл с новым именем из существующего файла в том же каталоге? Следующая команда не работает, так как она удаляет исходный файл server.properties
.
$ mv server.properties server-0.properties
Для копирования файла можно использовать cp
(для "копии") команда
cp /path/to/sourceFile path/to/newFile
в Вашем случае это будет
cp server.properties server-0.properties
Необходимо будет использовать копию (CP), а не перемещение (mv).
cp server.properties server-0.properties
Больше здесь: http://manpages.ubuntu.com/manpages/artful/man1/cp.1.html