utilities.sh File Reference

Go to the source code of this file.

Functions
function	isFlagSet ()
function	isFlagUnset ()
function	STDERR ()
function	ERROR ()
function	FATAL ()
function	LASTFATAL ()
function	isRelativePath ()
function	simplifyPath ()

Function Documentation

function ERROR

(

)

Definition at line 18 of file utilities.sh.

{ STDERR "ERROR: $*" ; }

function FATAL

(

)

Definition at line 19 of file utilities.sh.

                 {
  local -i Code="$1"
  shift
  STDERR "FATAL (${Code}): $*"
  exit "$Code"
} # FATAL()

function isFlagSet

(

)

Definition at line 7 of file utilities.sh.

                     {
  local -r VarName="$1"
  [[ -n "${!VarName//0}" ]]
} # isFlagSet()

function isFlagUnset

(

)

Definition at line 12 of file utilities.sh.

                       {
  local -r VarName="$1"
  [[ -z "${!VarName//0}" ]]
} # isFlagUnset()

function isRelativePath

(

)

Definition at line 32 of file utilities.sh.

                          {
  local -r Path="$1"
  [[ "${Path:0:1}" != '/' ]]
} # isRelativePath()

function LASTFATAL

(

)

Definition at line 25 of file utilities.sh.

                     {
  local -i Code="$?"
  [[ "$Code" == 0 ]] || FATAL "$Code" "$@"
} # LASTFATAL()

function simplifyPath

(

)

Definition at line 38 of file utilities.sh.

function STDERR

(

)

Definition at line 17 of file utilities.sh.

{ echo "$*" >&2 ; }