Memes

45156 readers

2881 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

1784

submitted 7 months ago by [email protected] to c/[email protected]

241 comments fedilink hide all child comments

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

[–] [email protected] 3 points 7 months ago (2 children)

Still can't rename file extensions though

[–] [email protected] 5 points 7 months ago (1 children)

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

[–] [email protected] 5 points 7 months ago

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

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

[–] [email protected] 6 points 7 months ago

I was talking about files on iOS.

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

[–] [email protected] 1 points 7 months ago

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