13d4998e
060c814e
1
2
3
4
# Run pp(1df) on args, prefix with machine hostname hn=$(hostname -s) || exit pp "$@" | awk -v hn="$hn" '{ print hn ":" $0 }'