Batch change file extension in Linux June 27, 2022 In the daily development process, we sometimes need to do some batch operations, as described in the previous article. Today, we will share how to...