From 5cbc1470b9fc00f9d82e118cdd40304eddf5eee2 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 21 Aug 2017 20:20:13 +0200 Subject: [PATCH] chore(bin/leanpkg): return nicer error message if `greadlink` is not available on OSX see issue #1788 --- bin/leanpkg | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/bin/leanpkg b/bin/leanpkg index 929bbf706d..1ef27e4477 100755 --- a/bin/leanpkg +++ b/bin/leanpkg @@ -1,7 +1,15 @@ #!/usr/bin/env bash -if command -v greadlink >/dev/null 2>&1; then - # macOS readlink doesn't support -f option - READLINK=greadlink + +unamestr=`uname` +if [[ "$unamestr" == 'Darwin' ]]; then + # OSX + if command -v greadlink >/dev/null 2>&1; then + # macOS readlink doesn't support -f option + READLINK=greadlink + else + echo "OSX 'readlink' command does not support option '-f', please install 'greadlink'. If you use 'brew', you can install 'greadlink' using 'brew install coreutils'" + exit 1 + fi else READLINK=readlink fi