aebletrae

joined 2 years ago
[–] [email protected] 2 points 2 months ago (1 children)

Is changing the zoom level (Ctrl-+ or Ctrl-[scroll wheel]) an acceptable solution?

[–] [email protected] 0 points 2 months ago (2 children)

Plants. The answer is always plants. With colourful pots.

[–] [email protected] 0 points 4 months ago

I assume you've read the Wikipedia article for Marxist film theory since that's the obvious search engine find, but have you also looked at Marxist literary criticism? That page breaks things down a bit more in the last section.

[–] [email protected] 2 points 5 months ago

Yeah, that's what I was suspecting.

I ended up leaning towards "download" being used in the boomer way of meaning any data transfer, whatever the direction, which in this case would more specifically be called an "upload". And that "online" was being used to mean "using a website", even though the local processing is offline.

The alternative fit to the description I had considered was a website you could give an URL, so it retrieves the zip file and allows you to inspect it remotely, and maybe just download some of the contained files, so it deals with the risk and bandwidth issues for you. That would be a different kind of useful, though it'd only be a few days before someone uses it for malign purposes and gets the site operator a no-knock visit from the fuzz, so that seemed much less likely.

I can see a use for an app that can be used where they can't be installed, though.

[–] [email protected] 8 points 5 months ago (2 children)

I'm confused. How are you defining "download" and "online" here?

The website suggests that the server holds the files and does the extraction:

Extract and Explore compressed files online [emphasis mine]

which fits with the github claim of:

to view and extract zip files online without downloading them

but the website also states that:

nothing leave your browser

which suggests that the server has nothing to do with it, and you do actually download the zip files first.

What am I missing?

[–] [email protected] 0 points 1 year ago (1 children)

You want to create the date "31st February", but it's JavaScript that's cursed?

Write a less side-effecty function.

function getMonthName(monthNumber) {
    const date = new Date(2023, monthNumber - 1, 1);
    return date.toLocaleString([], { month: 'long' });
}