InternetCitizen2@lemmy.world to Memes@lemmy.ml · 1 年前Android privacy ROM >> iOSlemmy.worldimagemessage-square241fedilinkarrow-up11.84Karrow-down157
arrow-up11.79Karrow-down1imageAndroid privacy ROM >> iOSlemmy.worldInternetCitizen2@lemmy.world to Memes@lemmy.ml · 1 年前message-square241fedilink
minus-squareAnUnusualRelic@lemmy.worldlinkfedilinkarrow-up15arrow-down4·1 年前To be fair, Android is absolutely atrocious whenever files are involved.
minus-squareDeepGradientAscent@programming.devlinkfedilinkarrow-up13arrow-down1·edit-21 年前Removed by mod
minus-squarexuniL@lemmy.dbzer0.comlinkfedilinkarrow-up5arrow-down2·1 年前Still can’t rename file extensions though
minus-squareji17br@lemmy.mllinkfedilinkarrow-up5·1 年前I just tried with the default files app. You can definitely rename file extensions.
minus-squarexuniL@lemmy.dbzer0.comlinkfedilinkarrow-up5·1 年前Wow you’re right. Just checked again, they must have added that this new major iOS version.
minus-squaredatelmd5sum@lemmy.worldlinkfedilinkarrow-up3arrow-down1·edit-21 年前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: $ echo foo > shit.txt $ mv shit.txt shit.mp4 $ cat shit.mp4 foo
minus-squareBene7rddso@feddit.delinkfedilinkarrow-up1·1 年前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
minus-squaredatelmd5sum@lemmy.worldlinkfedilinkarrow-up1·1 年前Don’t need the Google Files for that. I can use the terminal to rename a file.
To be fair, Android is absolutely atrocious whenever files are involved.
Removed by mod
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.