Loading .profile.d/0000-default.sh +4 −2 Original line number Diff line number Diff line Loading @@ -4,10 +4,12 @@ # set PATH so it includes user's private bin if it exists if [ -d "$HOME/bin" ]; then chmod -R og-rwx,u+rwx "$HOME/bin" PATH="$HOME/bin:$PATH" fi # set PATH so it includes user's private bin if it exists if [ -d "$HOME/.local/bin" ]; then chmod -R og-rwx,u+rwx "$HOME/.local/bin" PATH="$HOME/.local/bin:$PATH" fi bin/where_are_my_tools 0 → 100755 +13 −0 Original line number Diff line number Diff line #!/bin/bash if [ -f "$HOME/.my_tools" ]; then while read line; do for word in $line; do if [ -z "$(which $line)" ]; then echo "[$line] is not found!" fi done done < "$HOME/.my_tools" else echo "No config file was found at [$HOME/.my_tools]" fi Loading
.profile.d/0000-default.sh +4 −2 Original line number Diff line number Diff line Loading @@ -4,10 +4,12 @@ # set PATH so it includes user's private bin if it exists if [ -d "$HOME/bin" ]; then chmod -R og-rwx,u+rwx "$HOME/bin" PATH="$HOME/bin:$PATH" fi # set PATH so it includes user's private bin if it exists if [ -d "$HOME/.local/bin" ]; then chmod -R og-rwx,u+rwx "$HOME/.local/bin" PATH="$HOME/.local/bin:$PATH" fi
bin/where_are_my_tools 0 → 100755 +13 −0 Original line number Diff line number Diff line #!/bin/bash if [ -f "$HOME/.my_tools" ]; then while read line; do for word in $line; do if [ -z "$(which $line)" ]; then echo "[$line] is not found!" fi done done < "$HOME/.my_tools" else echo "No config file was found at [$HOME/.my_tools]" fi