I want to connect to my server via ssh on my phone, then rename a bunch of files with a batch rename function. Are there any open source file managers that do that?
I checked Ghost Commander but didn’t look like there is a batch rename function, neither for Material Files. Unless I miss something.
Right, I guess that tends to be the case with file managers if you try to use these features on something else than regular local files.