I think that a Marxist society should allow for 0 proprietary software, and instead support for everything in free and open source decentralized technology.

  • relay@lemmygrad.ml
    link
    fedilink
    English
    arrow-up
    2
    ·
    1 year ago

    yt-dlp lets you download videos by scraping the site and find audio or video files in there depending on how they are embedded.

    wget can help you scrape the contents of a web page. This often allows you to get the html of a web page, but if it ends in a file extension you can download a file there too.

    w3m allows you to view a pure html page in the terminal and it will not display css or javascript. This can sometimes bypass paywalls and allow you to read. sometimes not.

    I think all of those games are supported on steam.

    • redtea@lemmygrad.ml
      link
      fedilink
      English
      arrow-up
      1
      ·
      1 year ago

      That’s brilliant. Does w3m provide a safe way of reading http sites?

      With wget and file extensions, is there anything obvious that I should be cautious of, for being dangerous?

      • relay@lemmygrad.ml
        link
        fedilink
        English
        arrow-up
        2
        ·
        1 year ago

        w3m either works or it does not work, but either way you are safe from downloading dangerous things, javascript abusing your computer, but it does not protect you from DomainNameServer or InternetProtocol address surveillance by your ISP.

        The cool thing about linux is anything that you download is not marked as executable by default so you’ll need to chmod +x the filename for it to run.

        File extensions don’t need to exist in unix systems but are helpful to know what kind of file they are for practical reasons. (windows and mac force extensions in filenames)

        If you are trying to transfer one file type to another in ffmpeg it does use the extension to re-encode it.

        for example:

        yt-dlp -f 251 https://yewtu.be/watch?v=NfjsLmya1PI #uses yt-dlp to download file in format of the highest quality sound for youtube|

        to create a new copy of this downloaded file with an .ogg file extension do the following:

        ffmpeg -i ‘Present Day, heh… Present Time! Hahahahahahaha! [NfjsLmya1PI].webm’ present_day_time.ogg #then you can delete the original and then play the new one that you have if you have mpv installed rm ‘Present Day, heh… Present Time! Hahahahahahaha! [NfjsLmya1PI].webm’ && mpv present_day_time.ogg