this post was submitted on 13 Feb 2024
1791 points (97.0% liked)
Memes
45889 readers
1338 users here now
Rules:
- 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
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
To be fair, Android is absolutely atrocious whenever files are involved.
Still can't rename file extensions though
I just tried with the default files app. You can definitely rename file extensions.
Wow you're right. Just checked again, they must have added that this new major iOS version.
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:
I was talking about files on iOS.
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.