• @datelmd5sum
      link
      3
      edit-2
      9 months ago

      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]
        link
        fedilink
        19 months ago

        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
          link
          19 months ago

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