Memes

52216 readers

799 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 6 years ago

MODERATORS

1781

submitted 2 years ago by [email protected] to c/[email protected]

234 comments fedilink hide all child comments

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

[–] xuniL 3 points 2 years ago (2 children)

Still can't rename file extensions though

[–] [email protected] 5 points 2 years ago (1 children)

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

[–] xuniL 5 points 2 years ago

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

[–] [email protected] 2 points 2 years ago* (last edited 2 years 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 6 points 2 years ago

I was talking about files on iOS.

[–] [email protected] 1 points 2 years 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

[–] [email protected] 1 points 2 years ago

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