gamma, 9 months ago type -p is a shell builtin though, and one character shorter :) Although you may prefer tool=$(command -v tool)
type -p is a shell builtin though, and one character shorter :)
type -p
Although you may prefer tool=$(command -v tool)
tool=$(command -v tool)