this post was submitted on 18 Sep 2023
9 points (100.0% liked)

F-Droid

8080 readers
49 users here now

F-Droid is an installable catalogue of FOSS (Free and Open Source Software) applications for the Android platform. The client makes it easy to browse, install, and keep track of updates on your device.

Website | GitLab | Mastodon

Matrix space | forum | IRC

founded 3 years ago
MODERATORS
 

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.

you are viewing a single comment's thread
view the rest of the comments
[–] WhoRoger 1 points 1 year ago (1 children)

Ghost Commander does have batch rename. You need to select multiple files and tap F2 Rename. Dunno how to use it, but it's there.

[–] [email protected] 1 points 1 year ago* (last edited 1 year ago) (1 children)

Thats what I thought, but I tried before posting. It seems to only offer renaming the one you select.

[–] WhoRoger 1 points 1 year ago (1 children)

Select multiple files first. If you have one selected, there's a rename dialog, with multiple there's a regex multi rename dialog.

[–] [email protected] 2 points 1 year ago (1 children)

Huh, I tested a few things and you are right. However, it only works with files on my local phone storage. If you connect via ssh to another machine remotely, you cannot batch rename files. It just shows the normal rename. Weird.

[–] WhoRoger 0 points 1 year ago

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.