💾 Archived View for voidcruiser.nl › documentation.gmi captured on 2024-06-16 at 12:19:35. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2024-03-21)

➡️ Next capture (2024-07-08)

🚧 View Differences

-=-=-=-=-=-=-

Documentation

Docker/Podman

I keep forgetting the -p syntax

docker run -p <host-port>:<container-port> <container-name>

Latex

There is a way to get latex to insert empty lines automatically when starting a paragraph automatically. Just add the following to your preamble:

\usepacakge{parskip}

Haskell and adjacent languages

I keep forgetting the difference between foldl and foldr

The foldl function starts from the left of the given list and moves to the right.

foldr starts from the right and moves its way to the left.

fold(l|r)1 take the first encountered element in the given list as accumulator

scan(l|r)(1|) does the same as fold, but prints the intermediate steps

Development meta packages

Distros have meta packages with common development utilities like gcc, make and git. For some reason each distro has it's own idea on what it's meta package should be called. Here are some of the names I figured out so far.

PGP gripes

If you use pass as password manager install pinentry as well.

It'll make your life a lot easier.

It is a graphical interface for you to mash the passphrase for your PGP key into.

Windows is a terrible OS

Remove a bunch of its bloatware with this.

Get-AppxPackage -allusers | Remove-AppxPackage