Hey all / Paul, can anyone unpack this line from our ./configure script for me?
rootdir="$(cd "${0%/*}" 2>/dev/null; echo "$PWD")" As far as I can tell, this results in $PWD being assigned to rootdir, what is the other magic? :) Thanks! Jan --
Hey all / Paul, can anyone unpack this line from our ./configure script for me?
rootdir="$(cd "${0%/*}" 2>/dev/null; echo "$PWD")" As far as I can tell, this results in $PWD being assigned to rootdir, what is the other magic? :) Thanks! Jan --