Comment

Comment on Anon needs help to solve the mystery

naeap@sopuli.xyz ⁨5⁩ ⁨weeks⁩ ago

Thanks, maybe it’s my client that’s limited.

But, Ehm … Regarding the Linux part:
Just renaming a file shouldn’t convert it to something else - at least Linux isn’t doing that, especially as it doesn’t cares that much about file suffixes.
So what do you mean, that automatically converts it?
If you rename something in the terminal, it just gets a different name (which includes the suffix), but that won’t change anything in the data

What do I miss here?

Thanks for the pixelfed hint, I just signed up while posting, to have an alternative in the future :⁠-⁠) And especially thanks for the Lemmy markdown formatting to embed an image!
That one was the thing, I was looking for!

source

Sort:hotnew top

j4k3@lemmy.world ⁨5⁩ ⁨weeks⁩ ago
Maybe I installed something or wrote a script that I forgot about (happens cause super sleep deprived from disability, broken neck and back), or maybe it is a fedora thing (I think it is this), but yeah, if I change the suffix it also changes the model file automatically. If it can’t do the change it will tack on the additional suffix. So like if I try to rename image.jpg to image.png, it just does it, but if I rename image.jpg to image.svg it will automatically rename to image.svg.jpg to let me know that it does not work.

source
- naeap@sopuli.xyz ⁨5⁩ ⁨weeks⁩ 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 ;⁠-⁠)
  
  source
  - j4k3@lemmy.world ⁨5⁩ ⁨weeks⁩ ago
    Renaming extensions is a common thing in Unix/Linux
    
    source
    naeap@sopuli.xyz ⁨5⁩ ⁨weeks⁩ 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?
    
    source