@[email protected] to [email protected] • 1 year agoAndroid privacy ROM >> iOSlemmy.worldimagemessage-square242fedilinkarrow-up11.84K
arrow-up11.84KimageAndroid privacy ROM >> iOSlemmy.world@[email protected] to [email protected] • 1 year agomessage-square242fedilink
minus-square@[email protected]linkfedilink14•1 year agoHad and have magnitudes of more problems with file management on iOS; it has improved a bit with a basic native file browser.
minus-square@[email protected]linkfedilink5•1 year agoI just tried with the default files app. You can definitely rename file extensions.
minus-square@[email protected]linkfedilink5•1 year agoWow you’re right. Just checked again, they must have added that this new major iOS version.
minus-square@[email protected]linkfedilink3•edit-21 year agoIs there some higher level thing preventing this? If I open a terminal on my galaxy s23 I don’t see anything special with file extensions: $ echo foo > shit.txt $ mv shit.txt shit.mp4 $ cat shit.mp4 foo
minus-square@[email protected]linkfedilink1•1 year agoDon’t need the terminal for that. I can use Google Files to rename a pdf to .txt and it opens in a text editor
minus-square@[email protected]linkfedilink1•1 year agoDon’t need the Google Files for that. I can use the terminal to rename a file.
Had and have magnitudes of more problems with file management on iOS; it has improved a bit with a basic native file browser.
Still can’t rename file extensions though
I just tried with the default files app. You can definitely rename file extensions.
Wow you’re right. Just checked again, they must have added that this new major iOS version.
Is there some higher level thing preventing this?
If I open a terminal on my galaxy s23 I don’t see anything special with file extensions:
I was talking about files on iOS.
Don’t need the terminal for that. I can use Google Files to rename a pdf to .txt and it opens in a text editor
Don’t need the Google Files for that. I can use the terminal to rename a file.