user.js

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 41a55ad5f2a4e29a36754d7d35588e30cb52a85e
parent 2c1e4ae542f76ce47f22422fbcd75078502d222d
Author: earthlng <earthlng@users.noreply.github.com>
Date:   Sat, 25 Nov 2017 14:37:25 +0100

Update updater.sh
Diffstat:
Mupdater.sh | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/updater.sh b/updater.sh @@ -10,8 +10,8 @@ echo -e "\nThis script should be run from your Firefox profile directory.\n" currdir=$(pwd) -## get the full path of this script (readlink for Linux) -scriptfullpath=$(readlink -f "${BASH_SOURCE[0]}" 2>/dev/null || "${BASH_SOURCE[0]}") +## get the full path of this script (readlink for Linux, greadlink for Mac with coreutils installed, fallback otherwise) +scriptfullpath=$(readlink -f "${BASH_SOURCE[0]}" 2>/dev/null || greadlink -f "${BASH_SOURCE[0]}" 2>/dev/null || "${BASH_SOURCE[0]}") ## change directory to the Firefox profile directory cd "$(dirname "${scriptfullpath}")"