also if you're wondering why so many files use three letter extensions, like how JPEGs are often .JPG: it's because of MS-DOS. DOS allowed for filenames with a maximum length of 8.3 - that is, eight letters with a three letter extension. so FILENAME.JPG is okay, but FILE_NAME.JPEG is too long on both accounts. everyone just kinda agreed that 3 is a good number for file extensions and here we are still using it for pretty much everything even though it hasn't been required for decades
@lynnesbian I had a professor who once sent us a PDF study guide at the last minute and no one could figure out how to repair the corrupted files we got. It turns out they were just JPG files renamed to PDFs. 😆 Thank god for the "file" command! 🙂
@lynnesbian .iso (Its Super smash brOs melee v 1.02 for use in the dolphin emulator so you can play on line with pals)
@lynnesbian ISO stands for the one format that was made by the international standards organization
(there are no other international standards organization standards, which seems like a waste of an organization)
@lynnesbian we were going to have the abbreviation be bro but apparently people got mad so they changed it to the country code for Brazil.
@lynnesbian i thought it was called zip because it does the same thing to the files as i do to myself when i force myself into my one pair of nice jeans
@lynnesbian .MovingPictureExpertsGroupFormatVersionFourPartTenAdvancedVideoCoding, or .AitchDotTwoSixFour
@Sylvhem wellllll there is a port of GNU file for windows
microsoft just decided not to do things that way
@lynnesbian this is why you can open some-video-im-downloading.mp4.part files that are in-progress downloads. DIY streaming.
it's still my favorite hack ever that i found on my own.
@lynnesbian Windows still doesn't use MIME types to this day afaik, it really will get confused by that file extension change
@firstname.lastname@example.org's anti-chud pro-skub instance for funtimes