bash utils: stripping

strip.sh

# strip whitespace
strip() { local s="${1/%*([[:space:]])}"; echo "${s/#*([[:space:]])}"; }

# strip non-printing escape sequences (\[ ... \]) from string
strip_np() {
	local c=`echo -e "\x06"`
	local tmp="${1//@(\\\[|\\\])/$c}"
	echo "${tmp//${c}*([^${c}])${c}}"
}

# strip colors (\e[ii;jjm) from string
strip_cl() { echo "${1//\\e\[+([[:digit:]]);+([[:digit:]])m/}"; }