1790

submitted 9 months ago by InternetCitizen2@lemmy.world to c/memes@lemmy.ml

241 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[-] xuniL@lemmy.dbzer0.com 3 points 9 months ago

Still can't rename file extensions though

[-] ji17br@lemmy.ml 5 points 9 months ago

I just tried with the default files app. You can definitely rename file extensions.

[-] xuniL@lemmy.dbzer0.com 5 points 8 months ago

Wow you're right. Just checked again, they must have added that this new major iOS version.

[-] datelmd5sum@lemmy.world 2 points 9 months ago* (last edited 9 months ago)

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

[-] xuniL@lemmy.dbzer0.com 6 points 9 months ago

I was talking about files on iOS.

[-] Bene7rddso@feddit.de 1 points 8 months ago

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

[-] datelmd5sum@lemmy.world 1 points 8 months ago

Don't need the Google Files for that. I can use the terminal to rename a file.

this post was submitted on 13 Feb 2024

1790 points (97.0% liked)

Memes

45581 readers

1245 users here now

Be civil and nice.
Try not to excessively repost, as a rule of thumb, wait at least 2 months to do it if you have to.

founded 5 years ago

MODERATORS