Add platform tools path

diff --git a/files/bashrc b/files/bashrc
index dc098bff5e3d82771364a416b248aa2257bafb08..4a753ae70abe662e6eb996e8dcd885413619ef04 100644 (file)
--- a/files/bashrc
+++ b/files/bashrc
@@ -124,3 +124,7 @@ fi
 alias code="/mnt/c/Program\ Files/Microsoft\ VS\ Code/bin/code"
 alias clip="/mnt/c/Windows/system32/clip.exe"
 alias paste="/mnt/c/Windows/System32/WindowsPowerShell/v1.0/powershell.exe -noprofile -command Get-Clipboard"
 alias code="/mnt/c/Program\ Files/Microsoft\ VS\ Code/bin/code"
 alias clip="/mnt/c/Windows/system32/clip.exe"
 alias paste="/mnt/c/Windows/System32/WindowsPowerShell/v1.0/powershell.exe -noprofile -command Get-Clipboard"

+
+export PATH="$HOME/bin:$PATH"
+export PATH="$HOME/bin/platform-tools:$PATH"
+

diff --git a/files/profile b/files/profile
index d89ea5a6e83a2956d7461b547fa0d7d68103b9c9..d49af644e9ec481b6f12585f9b94cc5f7acf7f05 100644 (file)
--- a/files/profile
+++ b/files/profile
@@ -25,3 +25,5 @@ fi
 if [ -d "$HOME/.local/bin" ] ; then
     PATH="$HOME/.local/bin:$PATH"
 fi
 if [ -d "$HOME/.local/bin" ] ; then
     PATH="$HOME/.local/bin:$PATH"
 fi

+
+export PATH="$HOME/bin/platform-tools:$PATH"