• @datelmd5sum
    link
    3
    edit-2
    10 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
      110 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
        110 months ago

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