InternetCitizen2@lemmy.world to Memes@lemmy.ml · 10 months agoAndroid privacy ROM >> iOSlemmy.worldimagemessage-square277fedilinkarrow-up11.83Karrow-down158
arrow-up11.77Karrow-down1imageAndroid privacy ROM >> iOSlemmy.worldInternetCitizen2@lemmy.world to Memes@lemmy.ml · 10 months agomessage-square277fedilink
minus-squareDeepGradientAscent@programming.devlinkfedilinkarrow-up13arrow-down1·edit-210 months agoRemoved by mod
minus-squarexuniL@lemmy.dbzer0.comlinkfedilinkarrow-up5arrow-down2·10 months agoStill can’t rename file extensions though
minus-squaredatelmd5sum@lemmy.worldlinkfedilinkarrow-up3arrow-down1·edit-210 months 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·10 months 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·10 months agoDon’t need the Google Files for that. I can use the terminal to rename a file.
minus-squarexuniL@lemmy.dbzer0.comlinkfedilinkarrow-up6·10 months agoI was talking about files on iOS.
minus-squareji17br@lemmy.mllinkfedilinkarrow-up5·10 months agoI just tried with the default files app. You can definitely rename file extensions.
minus-squarexuniL@lemmy.dbzer0.comlinkfedilinkarrow-up5·10 months agoWow you’re right. Just checked again, they must have added that this new major iOS version.
Removed by mod
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
Don’t need the Google Files for that. I can use the terminal to rename a file.
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.