linux/.config/bash/module/util.sh

# Get the number of avaialble cores (threads).
function _core_count() {
	cat /proc/cpuinfo | grep ^processor | wc -l
}

# Parse integers from mixed string.
function _parse_ints() {
	echo "${*}" | tr '\n' ' ' | sed -e 's/[^0-9]/ /g' -e 's/^ *//g' -e 's/ *$//g' | tr -s ' ' | sed 's/ /\n/g'
}