[home.git] / .profile.d / .pre.sh

path_prepend() {
	local p
	for p in "$@" ; do
		if [[ :${PATH}: != *:${p}:* ]] && [[ -d ${p} ]] ; then
			PATH="${p}:${PATH}"
		fi
	done
}
path_append() {
	local p
	for p in "$@" ; do
		if [[ :${PATH}: != *:${p}:* ]] && [[ -d ${p} ]] ; then
			PATH+=":${p}"
		fi
	done
}
Commit	Line	Data
96ad5ec3 MF	1	path_prepend() {
	2	local p
	3	for p in "$@" ; do
	4	if [[ :${PATH}: != :${p}: ]] && [[ -d ${p} ]] ; then
	5	PATH="${p}:${PATH}"
	6	fi
	7	done
	8	}
	9	path_append() {
	10	local p
	11	for p in "$@" ; do
	12	if [[ :${PATH}: != :${p}: ]] && [[ -d ${p} ]] ; then
	13	PATH+=":${p}"
	14	fi
	15	done
	16	}