Up: GROVE
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"
}