@InternetCitizen2@lemmy.world to Memes@lemmy.ml • 1 year agoAndroid privacy ROM >> iOSlemmy.worldimagemessage-square229fedilinkarrow-up10arrow-down10
arrow-up10arrow-down1imageAndroid privacy ROM >> iOSlemmy.world@InternetCitizen2@lemmy.world to Memes@lemmy.ml • 1 year agomessage-square229fedilink
minus-square@DeepGradientAscent@programming.devlinkfedilink0•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@datelmd5sum@lemmy.worldlinkfedilink0•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@Bene7rddso@feddit.delinkfedilink0•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@ji17br@lemmy.mllinkfedilink0•1 year agoI just tried with the default files app. You can definitely rename file extensions.
minus-square@xuniL@lemmy.dbzer0.comlinkfedilink0•1 year agoWow you’re right. Just checked again, they must have added that this new major iOS version.
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
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:
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
I was talking about files on iOS.
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.