I'm trying to rename a lot of videos downloaded via youtube-dl from various sources. As you may know, yt-dl will append the view code to the file name.
I'm looking for a program or CLI command for removing the X last characters from the filename. From the example, the number would be 12 characters (excluding file extension, .mp4)
I've tried searching around for such a command, but havent found any which worked. Also tried KReename, but could not find the equivalent of "Delete X characters starting at Last character", which I remember a Windows program I once used had.
Are there any "simple" commands with which to do this? Alternatively a program, or some setting in KRename. Tried PyRename, but no luck there either.