Как прочитать номер ввода от пользователя, чтобы изменить имя файла, который хорошо существует в каталоге?

Question

Я знаю, как позволить пользователю вводить число (например, «1») с клавиатуры, но часть, которую я не знаю, состоит в том, как я могу переименовать расширение имени файла указанного файла (то есть «File_1».txt ») из« txt »в« bak »и скопируйте его в папку« Backup ».

Answer 1

echo  "Which file you want to change:"

read i

mv File_"$i".txt File_"$i".bak

cp your root/File_"$i".bak your root/Backup