paths-for-bash-1.0.bash

# TODO: replace with mechanism that rearranges existing 
while read line; do
        case "$line" in
                ''|\#*) continue ;; # skip blanks
        esac # Stolen from: https://unix.stackexchange.com/questions/244465/how-to-make-bash-built-in-read-ignore-commented-or-empty-lines
        # Expand tilda
        line=${line/#\~/$HOME}
        # If exists (as directory)
        if [ -d "$line" ]; then
                # If isn't in PATH
                if [[ :$PATH: != *:"$line":* ]]; then
                        # Add to PATH and export
                        export PATH="$PATH:$line"
                fi
        fi
done < /etc/paths