Last edit: <2021-01-31>

site colors

This will be a swatch of the current colors used on the site. They are all defined in a generated css file from my current emacs theme. Actually, this pages export will always be the current emacs theme, rather than the site theme. Let’s hope they don’t get out of sync! 😬

:background

weak background

strong background

:background+

:foreground

:faded

:foreground+

:primary

:assumed

:alt

:strings

And a syntax sample for better visual:

mount_diskfile() {
  if [ -z "$*" ]; then
    echo "mount_diskfile <iso/disk file> <mountpath (optional)>"
    return
  fi

  diskfile=$1
  # mountpath=${2:-./$(basename "$diskfile" | sed 's/\..*//')}
  mountpath=${2:-/media/filemount/$(basename "$diskfile" | sed 's/\..*//')}

  mkdir -p "$mountpath"

  echo sudo mount "$diskfile" "$mountpath" -o loop
  sudo mount "$diskfile" "$mountpath" -o loop
  echo "$mountpath"
}