this post was submitted on 09 Mar 2025
532 points (97.5% liked)

Greentext

5517 readers
2181 users here now

This is a place to share greentexts and witness the confounding life of Anon. If you're new to the Greentext community, think of it as a sort of zoo with Anon as the main attraction.

Be warned:

If you find yourself getting angry (or god forbid, agreeing) with something Anon has said, you might be doing it wrong.

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[โ€“] j4k3@lemmy.world 1 points 9 hours ago (1 children)
[โ€“] naeap@sopuli.xyz 1 points 4 hours ago

Yeah, I do get, that this is a reasonable easy enough thing to do

The first result I get from your link is a bash script, that wouldn't do this stuff automatically.

So I would be interested where you got this extension installed and in what parts of the system it is actually working.

So does this work as well, wenn die rename a file in a shell?
Which I would find rather strange, tbh, but would be interested, how that is implemented

As extension of a file browser, I do get that this could be quite popular.

Could you just try that one case out?