Memes

45719 readers

1057 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

1778

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

242 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 (2 children)

Still can't rename file extensions though

[–] ji17br@lemmy.ml 5 points 9 months ago (1 children)

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

[–] xuniL@lemmy.dbzer0.com 5 points 9 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) (2 children)

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 9 months ago (1 children)

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 9 months ago

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