• Malossi167@alien.topB
    link
    fedilink
    English
    arrow-up
    1
    ·
    1 year ago

    File name extenuations are much less magical than some users think. YOu can change them to whatever you want. This movie was made in 2006 and something went wrong while renaming it. Should likely be Idiocracy (2006).xxx. You can determine the correct extension by using a tool like MediaInfo although most video players will play it regardless as long as it is a video file type.

    • Zoraji@alien.topB
      link
      fedilink
      English
      arrow-up
      1
      ·
      1 year ago

      Another possibility is that they have the hide extensions for known file types enabled which is a default with Windows, one of the first thing I change on a new install.

      If it really doesn’t have an extension, the video player will look at the file header and see that it is a media file and determine what kind and play it whether it has an extension or not.

    • arBettor@alien.topB
      link
      fedilink
      English
      arrow-up
      1
      ·
      1 year ago

      What is that xxx extenuation you’re referring to? I often see it in my filenames, but usually much earlier in the name instead of at the end.