Skip to content

Instantly share code, notes, and snippets.

View kurahaupo's full-sized avatar
Working from home

Martin Kealey kurahaupo

Working from home
  • Brisbane, Australia
View GitHub Profile
kurahaupo / dialog.bash
Last active February 15, 2023 23:44
Implementing "dialog" in pure bash
View dialog.bash
# (replace the preceding line with the path to Bash on your system)
# Takes the list of items as command-line parameters
# Interacts using stdin+stderr
# Writes the answer to stdout
# Use like:
# result=$( bash dialog.bash Foo Bar Zot Baz ) || exit
# or
kurahaupo /
Last active December 27, 2022 10:16 — forked from XVilka/
True Colour (16 million colours) support in various terminal applications and terminals

Terminal Colors

There exists common confusion about terminal colors. This is what we have right now:

  • Plain ASCII
  • ANSI escape codes: 16 color codes with bold/italic and background
  • 256 color palette: 216 colors + 16 ANSI + 24 gray (colors are 24-bit)
  • 24-bit true color: "888" colors (aka 16 million)
kurahaupo / gist:7df6c8a50c04e5b80d84f28938b3e258
Last active December 19, 2022 10:46
"checked out" vs "checkouted"
View gist:7df6c8a50c04e5b80d84f28938b3e258

Should one say "Checkouted" or "Checked out"?

At the time of writing (2020), most people would agree that the latter is preferred, and that the former is either "wrong" or at best "dubious".

This will eventually change, and perhaps already has by the time you read this.

Indeed I can be fairly confident about that, much as it pains my own sense of what's "right", because there's an inevitability about regularization.

Looking back 50 years to 1970, nobody then would have even thought of saying "checkouted", much less said it out loud, for the simple reason that it was a two-word phrase, a verb and a preposition: "check out".

kurahaupo / foo
Last active November 8, 2022 16:49
There's no excuse for using #!/usr/bin/env ...
kurahaupo / xr
Last active November 25, 2021 03:45
Script using "xrandr" to configure multi-head display
View xr
die() { echo "$*" >&2 ; exit 1 ; }
declare -a R=( normal right inverted left ) # rotation descriptions
declare -A S
declare -A DX
declare -a EX
View poll.bash
dikf() {
z=$( docker inspect "$k" -f "{{.State.$1}}" )
[[ $z = $2 ]]
read -r k
View sample from
write_key() {
mkdir -p "${JENKINS_AGENT_HOME}/.ssh"
echo "$1" > "${JENKINS_AGENT_HOME}/.ssh/authorized_keys"
chown -Rf jenkins:jenkins "${JENKINS_AGENT_HOME}/.ssh"
chmod 0700 -R "${JENKINS_AGENT_HOME}/.ssh"
if [[ $JENKINS_SLAVE_SSH_PUBKEY == ssh-* ]]; then
View gist:ac6b66cfc3c4deda378b0b9798d13c2e
# number of buckets
declare -i nB=6
# values by key
declare -Ai Vk=(
kurahaupo / mod7.sed
Last active November 19, 2018 11:59
View mod7.sed
View gist:f7972e1a7969448c0e99b46c7bc67455
XHow To Write Good
1. Alliterations are awkward; always avoid.
2. Prepositions are not words to end sentences with.
3. A writer needs a cliché like a fish needs a bicycle.
4. Comparisons are as bad as the clichés.
5. Be more-or-less specific.
6. All writers should never generalise.
Seven. Be consistent.
8. Don't be redundant; don't use more words than necessary; avoid being verbose, it's excessively superfluous.
9. Who needs rhetorical questions?