#!/bin/bash

LOG=/tmp/tlmgr-debug.log

exec 2>1 >> $LOG
echo $(date +%FT%T) $0 $@

CMDDMP() {
	echo; echo $(date +%FT%T) $@
	$@ | sed 's/^/\t/'
}
CMDDMP pwd
CMDDMP sw_vers
CMDDMP which -a wget curl lz4 xz tlmgr
CMDDMP PATH=$PATH | sed -e 's%\([=:]\)/%\1\n\t/%g'