• naeap@sopuli.xyz
    link
    fedilink
    arrow-up
    1
    ·
    edit-2
    20 hours ago

    Hm…ok, never heard of that - at least not without extra programs

    Does that also work from the terminal or only inside your file browser?

    Because, as said, Linux usually doesn’t care that much about suffixes, but much more about the file type in the file header.
    At least that’s my experience and what I’ve read.

    But thanks for the info.
    Not sure, if I’d like to have it though or rather not ;⁠-⁠)

    Edit: and out of interest, what happens, when you rename it to something “near” like an svg or pdf, or something completely different like a mp3 - or interesting would also be a video format, if you only get a single frame then
    Thanks, I’ve never heard of that and would really like to know what does it and how it’s coping with things, that aren’t compatible - or are harder to convert

      • naeap@sopuli.xyz
        link
        fedilink
        arrow-up
        1
        ·
        8 hours ago

        Yeah, I do get, that this is a reasonable easy enough thing to do

        The first result I get from your link is a bash script, that wouldn’t do this stuff automatically.

        So I would be interested where you got this extension installed and in what parts of the system it is actually working.

        So does this work as well, wenn die rename a file in a shell?
        Which I would find rather strange, tbh, but would be interested, how that is implemented

        As extension of a file browser, I do get that this could be quite popular.

        Could you just try that one case out?