From 43dc0cd0e4fe3078276e7f0374e7ad88225e6dae Mon Sep 17 00:00:00 2001 From: Andre Ramnitz Date: Wed, 3 Dec 2025 17:32:07 +0100 Subject: [PATCH] bash: tweak path --- dot-bash_profile | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/dot-bash_profile b/dot-bash_profile index c0cf92f3..88f4cca3 100644 --- a/dot-bash_profile +++ b/dot-bash_profile @@ -1,6 +1,12 @@ #!/bin/bash -export PATH="$PATH:$HOME/Applications:$HOME/go/bin:$HOME/.cargo/bin:/opt/android-sdk/platform-tools:$HOME/.local/bin" +export PATH="$PATH:$HOME/Applications:$HOME/go/bin:$HOME/.cargo/bin:/opt/android-sdk/platform-tools" + +# User specific environment +if ! [[ "$PATH" =~ "$HOME/.local/bin:$HOME/bin:" ]]; then + PATH="$HOME/.local/bin:$HOME/bin:$PATH" +fi +export PATH export EDITOR="kak" export VISUAL="kak" -- 2.52.0