#! /bin/bash

_warn(){ >&2 echo "WARNING: $*" ; }

_fatal(){
  >&2 echo "FATAL ERROR: $*"
  >&2 echo stopping...
  exit 1
}

pushd () {
    command pushd "$@" > /dev/null
}

popd () {
    command popd "$@" > /dev/null
}