Prevent from duplicated entries in PATH.

.bashrc

@@ -51,10 +51,16 @@ export HISTTIMEFORMAT="%y/%m/%d %T "
 export HOMEBREW_NO_ANALYTICS=1
 export LESS="-EfmrSwX"
 export LSCOLORS="gxfxcxdxbxegedabagacad"
-export PATH="${HOME}/bin:${HOME}/.local/bin:${PATH}"
 export PYTHONDONTWRITEBYTECODE=yes
 export QUILT_PATCHES="debian/patches"
 #
+if [[ ! "${PATH}" =~ "(^|:)${HOME}/bin(:|$)" ]]; then
+    export PATH="${HOME}/bin:${PATH}"
+fi
+if [[ ! "${PATH}" =~ "(^|:)${HOME}/\\.local/bin(:|$)" ]]; then
+    export PATH="${HOME}/.local/bin:${PATH}"
+fi
+#
 if [ -e /usr/lib/jvm/default-java ]; then
     export JAVA_HOME=/usr/lib/jvm/default-java
 fi