diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2018-03-04 10:18:29 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2018-03-04 10:18:29 -0300 |
commit | 00785a7a585906a156c83a95565f1eb0d9eda712 (patch) | |
tree | 5b88467b029dac94ffef7329247940f8a126e048 | |
parent | e88c78ddd319c63874a86dc8897b98ee9d6236d6 (diff) | |
download | profile-00785a7a585906a156c83a95565f1eb0d9eda712.tar.gz profile-00785a7a585906a156c83a95565f1eb0d9eda712.tar.bz2 |
Adds ~/.local/bin into $PATH
-rw-r--r-- | profile.dot.link | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profile.dot.link b/profile.dot.link index f6fb3e0..41700b0 100644 --- a/profile.dot.link +++ b/profile.dot.link @@ -19,6 +19,11 @@ fi # Set PATH PATH=/bin:/sbin:/usr/bin:/usr/sbin:/usr/games:/usr/local/bin:/usr/local/sbin:/usr/local/games +# Add ~/.local/bin folder into PATH +if [ -d "$HOME/.local/bin" ]; then + PATH=$HOME/.local/bin:$PATH +fi + # Add ~/bin folder into PATH if [ -d "$HOME/bin" ]; then PATH=$HOME/bin:$PATH |