4ae7c492 | #:depends-on:utils |
c529eecd | #:depends-on:nix |
eb308c57 | export GNU_PREFIX='' platform="$(uname -s)" |
fe429cbf | # interactive_echo the platform is "$platform" |
eb308c57 | if [[ $platform == 'Darwin' ]] && command -v gls 2>&1 >/dev/null; then GNU_PREFIX='g' |
c529eecd | GREALPATH='grealpath' |
eb308c57 | else |
2d6a21d4 | echo gnu tools unprefixed |
c529eecd | GREALPATH='realpath' |
eb308c57 | fi |