I would argue that [[ and ]] is doing the least surprising thing here because it is actually evaluating the arguments when in an arithmetic context. It’s the same with $((0400 + 1)) evaluating to 257 and not 401.

Interesting, in zsh, $((0400)) evaluates to 400, even though $((0x400)) evaluates to 1024. Now that’s surprising and kinda buggy! But that’s why I don’t write shell scripts in zsh ;)

Note: I know and understand what’s going on here. But this is definitely misleading as some people tend to use [[ ]] without even thinking about it, or understanding how an if block is supposed to work in shell. For example, I have seen this a huge number of times:

grep -q 'foobar' file.txt
if [[ $? -eq 0 ]]; then
    # do stuff
fi

Yes, this is absolutely horrible and stems from the fact that people do not know that all if is supposed to do is execute its argument and respond to the return value.

Some trivia for geeks: if [ 42 -eq 41 ]; then ... is actually just executing /bin/[ with the four arguments "42", "-eq", "41" AND "]". /bin/[ simply ignores ] as syntactic sugar. Example:

sh-5.0$ /bin/[ 0 -eq 1 ]; echo $?
1

Just to wrap this up, I agree, my browser is sort of misconfigured, I used uBlock Origin with the global setting, and it does not work, nor does imgur, and a bunch of other websites.

I went digging around the various extensions/addons for other options, and I settled on LibreJS[0].

similar to noscript, it allows some JS to run, but unlike noscript it doesn’t automatically trust random corporate websites just to make users lives easier. Plus the UI is a lot easier than noscript, and allows one to easily see the source of the JS(both the URL and the actual JS source code) before whitelisting it..

So I think this is maybe the best of both worlds. imgur and other sites basically work, you can easily whitelist specific things as needed, and by and large most every JS 0day exploit will be a non problem.

Thanks everyone for helping me better understand the crazy insanity that is browsers and JS these days.

0: https://addons.mozilla.org/en-US/firefox/addon/librejs/

I linked you directly to the image, there is no html let alone javascript on that URL. You can curl it if your browser is misconfigured to just block all imgur domains.

Relevant headers:

HTTP/2.0 200 OK
last-modified: Fri, 28 Jun 2019 15:07:43 GMT
content-type: image/png
date: Fri, 28 Jun 2019 16:08:22 GMT
server: cat factory 1.0

Cat Factory 1.0, great name for a web server.

disabling JS and just blocking scripts

OK I think what you are saying here is 1st party JS vs 3rd party JS? Or are you trying to say something else?

I’m not really up to speed on JS and browsers, as I basically just leave it disabled all the time unless I really need to see some site that requires it.

I use Ublock Origin, and it’s settings near as I can tell is just all on or all off.

Yup it’s all about choices.

I’m willing to run Outlook as my mailer and deal with a bit of large corporate white noise because the value I derive from working here far FAR outstrips those minor annoyances.

Everybody has to do their own cost/value curve calculations though.

+10 for an entirely apropos ST:TNG

It is of course unfortunate that you missed such an important update. This is where it would make sense to use the Subject header to emphasize the importance of the message, such as the use of [URGENT] or [CRITICAL].

It had that, but as I said in the post, it was like:

Blahblahblah

<SUPER CRITICAL STUFF IN RICH TEXT COLORED RED THAT MUTT CAN’T SEE>

So yeah, no hope at all other than “Don’t use rich text.”

In my work environment, I know of literally maybe 2 people in a team of 150 who use mutt. I don’t know what the stats are for the wider company, but I know it’s a TINY fraction.

Expecting my manager to cater to my needs and preferences to this extent is unreasonable in my book.

If you walk around Apple HQ saying “oss ecks” (with the “oss” being the same sound as in “hoss” or “cross”), people get really mad at you. I’ve also been saying “eye oss” for so long I’ve forgotten it was initially a joke, and have probably weirded out a few coworkers after I switched jobs.

It might actually just be “finished” :)

I actually pushed an update for it recently enough (June 2nd), after someone emailed me with a request. I guess I forgot to push the source to github though.

I swapped to iOS recently, so haven’t been actively developing, because I don’t use it. But I’m happy to update it if people have suggestions

Edit: pushed latest to dev branch ….