Как переименовать файл короткой командой

Предположим, что необходимо переименовать пару созданных SSH ключей.

Можно это сделать так:

mv ~/.ssh/id_ed25519 ~/.ssh/personal_key
mv ~/.ssh/id_ed25519.pub ~/.ssh/personal_key.pub

А можно короче:

mv ~/.ssh/{id_ed25519,personal_key}
mv ~/.ssh/{id_ed25519.pub,personal_key.pub}

Это удобно когда путь к файлу довольно длинный, не как в примере.