rbonvall

Yes, that's the smoking gun!

Socks are not getting lost; they are getting compacted to keep the context window small.

(It's Barcelona)

In the soccer world, there is the International Federation of Football History and Statistics (IFFHS), that decides several rankings and awards that are regularly cited in traditional media. For example, if a player from my not-quite-football-powerhouse country makes the "best 100 goalkeepers" list or whatever, it'll be on the news.

Turns out the IFFHS was just one guy in Germany during the 80s that leveraged his contacts in news agencies to establish his brand as a reputable source.

Note that it's not a European thing. It's how most football leagues around the world work.

Of course. It's distributed.

Just like that place that's so crowded nobody goes there anymore.

That doesn't explain the "punctuating with multiple cryface emojis".

Lies, Damned lies, and Unreasonable Effectiveness For Fun and Profit

Example of replacing grep+cut with a single awk invokation:

    $ echo token:abc:def | grep -E ^token | cut -d: -f2
    abc
    
    $ echo token:abc:def | awk -F: '/^token/ { print $2 }'
    abc

Conditions don't have to be regular expressions. For example:

    $ echo $CSV
    foo:24
    bar:15
    baz:49
    
    $ echo $CSV | awk -F: '$2 > 20 { print $1 }'
    foo
    baz

I use dtrx, which also ensures that all files are extracted into a folder.

Python also pretty-prints out of the box:

    $ echo '{ "hello": "world" }' | python3 -m json.tool
    {
        "hello": "world"
    }

Since no other pedants have chimed in yet, I'm required to point out that 20 years is five olympiads, which is the timespan in between six Olympic games.