From c7b265480caf3edabf5f65584e225570944b2d69 Mon Sep 17 00:00:00 2001 From: Salt Date: Sat, 28 Mar 2020 08:54:20 -0500 Subject: [PATCH] .profile: Add gnubin directory --- .profile | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.profile b/.profile index 4d038a96..73a5a848 100755 --- a/.profile +++ b/.profile @@ -40,6 +40,11 @@ while [ "${PATH#:}" != "$PATH" ]; do PATH="${PATH#:}" done PATH="$desiredpath:$PATH" +# Homebrew +gnubin="/usr/local/opt/coreutils/libexec/gnubin" +if [ -d "$gnubin" ]; then + PATH="$gnubin:$PATH" +fi # Grab bash_completion, if it exists [ -f "/etc/profile.d/bash_completion.sh" ] && . "/etc/profile.d/bash_completion.sh"