how to rename files in linux terminal
open up your terminal
[command] [file1] [file2] where [command] is a choice of mv (don't keep [file1]) or cp (keep [file1]), [file1] is the path to the original file and [file2] is the new file's path, which can include a new file name
[source]
[source]