this post was submitted on 13 Feb 2024
1779 points (96.9% liked)
Memes
45868 readers
1259 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
Still can't rename file extensions though
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:
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.