InternetCitizen2@lemmy.world to Memes@lemmy.ml · 2 years agoAndroid privacy ROM >> iOSlemmy.worldimagemessage-square231fedilinkarrow-up11.86Karrow-down158
arrow-up11.8Karrow-down1imageAndroid privacy ROM >> iOSlemmy.worldInternetCitizen2@lemmy.world to Memes@lemmy.ml · 2 years agomessage-square231fedilink
minus-squareDeepGradientAscent@programming.devlinkfedilinkarrow-up13arrow-down1·2 years agoHad and have magnitudes of more problems with file management on iOS; it has improved a bit with a basic native file browser.
minus-squareji17br@lemmy.mllinkfedilinkarrow-up5·2 years agoI just tried with the default files app. You can definitely rename file extensions.
minus-squaredatelmd5sum@lemmy.worldlinkfedilinkarrow-up3arrow-down1·edit-22 years 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-squareBene7rddso@feddit.delinkfedilinkarrow-up1·2 years 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-squaredatelmd5sum@lemmy.worldlinkfedilinkarrow-up1·2 years 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.
deleted by creator
I just tried with the default files app. You can definitely rename file extensions.
deleted by creator
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:
deleted by creator
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.