From 7256339b60132b6b84e1ca51def86a44988598c6 Mon Sep 17 00:00:00 2001
From: Nuno Sa <noname.nuno@gmail.com>
Date: Thu, 11 Jul 2024 17:42:16 +0200
Subject: [PATCH] commonrc: move custom PATHS into commonrc

Move custom paths from bashrc to the common place as that should be
always available independent of the shell.

While at it, add $HOME/.local/bin into it as that is what's used for
example by pip --user.

Signed-off-by: Nuno Sa <noname.nuno@gmail.com>
---
 bashrc   | 1 -
 commonrc | 2 ++
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/bashrc b/bashrc
index b4ecdfe..763fbab 100644
--- a/bashrc
+++ b/bashrc
@@ -23,4 +23,3 @@ unset RESET
 # bash history. Set to the number of commands to remember in history
 HISTSIZE=20000
 
-export PATH=$PATH:$HOME/.tools/:$HOME/.tools/git-series-push/
diff --git a/commonrc b/commonrc
index 0fca3ad..5d71fbd 100644
--- a/commonrc
+++ b/commonrc
@@ -7,6 +7,8 @@
 alias ssh_no_hosts='ssh -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null'
 alias scp_no_hosts='scp -o StrictHostKeyChecking=no -o UserKnownHostsFile=/dev/null'
 
+export PATH=$PATH:$HOME/.tools/:$HOME/.tools/git-series-push/:$HOME/.local/bin/
+
 command -v arm-linux-gnueabihf-gcc > /dev/null && {
 	alias cross_cc_arm='export ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf-'
 } || {