boltronics

#!/bin/bash
exec {times}> times {typescript}> typescript < "${1-/dev/stdin}"
while read -r; do [[ $REPLY = '  "stdout": [' ]] && break; done # skip to this line
LANG=C
printf "Script started on %(%c)T\n" -1 >&"$typescript" # dummy
while read -r open; [[ $open = '[' ]]; do
  read -r elapsed; read -r string; read -r close
  eval printf %b%n "$string" characters >&"$typescript" # put count in $characters
  printf "%s %s\n" "${elapsed%,}" "$characters" >&"$times"
done

boltronics

#!/bin/bash
#
# Steam installer for Debian wheezy (32- and 64-bit)
#
# Place into empty directory and run.
#

download() {
    local url="$1"
    local filename="$(basename "$url")"