Para copiar um arquivo, você pode usar o comando cp
(para "copiar")
cp /path/to/sourceFile path/to/newFile
no seu caso, será
cp server.properties server-0.properties
Como criar novo arquivo com o novo nome do arquivo existente no mesmo diretório? O comando a seguir não funciona, pois remove o arquivo original server.properties
.
$ mv server.properties server-0.properties
Para copiar um arquivo, você pode usar o comando cp
(para "copiar")
cp /path/to/sourceFile path/to/newFile
no seu caso, será
cp server.properties server-0.properties
Você precisará usar copy (cp) em vez de mover (mv).
cp server.properties server-0.properties
Mais aqui: link