diff --git a/.local/bin/env b/.local/bin/env new file mode 100644 index 0000000..4728899 --- /dev/null +++ b/.local/bin/env @@ -0,0 +1,11 @@ +#!/bin/sh +# add binaries to PATH if they aren't added yet +# affix colons on either side of $PATH to simplify matching +case ":${PATH}:" in + *:"$HOME/.local/share/../bin":*) + ;; + *) + # Prepending path in case a system-installed binary needs to be overridden + export PATH="$HOME/.local/share/../bin:$PATH" + ;; +esac