forked from NationTech/harmony
18 lines
220 B
Bash
18 lines
220 B
Bash
#! /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
|
|
}
|