InternetCitizen2@lemmy.world to Memes@lemmy.ml · 2 年前Android privacy ROM >> iOSlemmy.worldimagemessage-square235fedilinkarrow-up11.86Karrow-down158
arrow-up11.8Karrow-down1imageAndroid privacy ROM >> iOSlemmy.worldInternetCitizen2@lemmy.world to Memes@lemmy.ml · 2 年前message-square235fedilink
minus-squareji17br@lemmy.mllinkfedilinkarrow-up5·2 年前I just tried with the default files app. You can definitely rename file extensions.
minus-squaredatelmd5sum@lemmy.worldlinkfedilinkarrow-up3arrow-down1·edit-22 年前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·2 年前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·2 年前Don’t need the Google Files for that. I can use the terminal to rename a file.
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.