関連ワード:  rename file linux command line    rename file extension linux command line    rename multiple file linux command line    batch rename files linux command line    rename file linux terminal command    change file name linux command line    change file permissions linux command line    change file extension linux command line    copy and rename file linux command line    how do you rename a file in linux terminal