hmmm. I've got a bunch of files, labeled 0013.png through 0171.png, and I need to rename them to 0001.png - 0159.png
this seems like the kind of thing that there'd be an easy oneliner way to do it, but I'm blanking on what it'd be. Any suggestions?
hmmm. I've got a bunch of files, labeled 0013.png through 0171.png, and I need to rename them to 0001.png - 0159.png
this seems like the kind of thing that there'd be an easy oneliner way to do it, but I'm blanking on what it'd be. Any suggestions?
If you have a fediverse account, you can quote this note from your own instance. Search https://digipres.club/users/foone/statuses/115953011620189195 on your instance and quote it. (Note that quoting is not supported in Mastodon.)