Some repositories couldn't be updated, please check application logs for details.
BadCredentialsException: 401 {"message": "Bad credentials", "documentation_url": "https://docs.github.com/rest", "status": "401"}

aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/%HOME%/.profile
diff options
context:
space:
mode:
Diffstat (limited to '%HOME%/.profile')
-rw-r--r--%HOME%/.profile8
1 files changed, 5 insertions, 3 deletions
diff --git a/%HOME%/.profile b/%HOME%/.profile
index ad04911..6c508b2 100644
--- a/%HOME%/.profile
+++ b/%HOME%/.profile
@@ -12,6 +12,10 @@ fi
path_export() {
local path
for path; do
+ # Don't add paths with colons in them:
+ case "$path" in
+ *:*) continue ;;
+ esac
case "${PATH-}" in
"$path") continue ;;
*":$path") continue ;;
@@ -55,9 +59,7 @@ python_setup() {
command -v "$python" > /dev/null 2>&1 \
&& user_base="$( "$python" -m site --user-base )" \
&& [ -d "$user_base/bin" ] \
- && path_export "$user_base/bin" \
- && continue
- break
+ && path_export "$user_base/bin"
done
}