Just asking here in case anyone, withj decent bash expertise can help please.

Having copied files from an old PVR (digitial video recorder thingy) we have files such as this


These are on my main computer hard disk, I have a 2nd that is currently FAT32 (I think) but I can't copy these files due to the characters in the filename.

Is there a easy way to take these files, and rename them so I can stripo out all but the final period (which is between '091333.ts' for example.

I am running Debian, and it wom't let me copy over to the other HDD, While I can do this manually there are LOTS of files. So there has to be a way to do this, perhaps a combination of

rename , sed or other commands.

Any pointers welcome please.




I have seen several posts from people how to run their own instances. I don't know much about this directly but I would guess a basic / advanced knowledge of the GNU / Linux command like is probably up there among the skills needed.

So to this end, I am sharing the link below to my own blog , where I have linked to a series of you tube videos on the Linux BASH interface, there are addition parts of this series which I put together as I was asked about cyber security at the code club I rub, so collected some videos that help build up some pre- requisite skills.

It would be great if we could have series such as this native on peertube, in the meantime we can either use Youtube directly or via a front end e.g invideous


Perhaps we can work on a better list to help people with the skills needed for hosting / running Mastodon instances

Remember protecting your privacy!


You're free to share it!

Fedora Project

Fedora test week
Monday, June 22, 2020 through Monday, June 29, 2020

Even if you've never contributed to before, you can help test the latest in at the Test Week starting June 22. Learn how in this Magazine article: fedoramagazine.org/contribute-