Skip to content

Commit

Permalink
commonrc: move custom PATHS into commonrc
Browse files Browse the repository at this point in the history
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 <[email protected]>
  • Loading branch information
nunojsa committed Jul 11, 2024
1 parent 91b63cc commit 7256339
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
1 change: 0 additions & 1 deletion bashrc
Original file line number Diff line number Diff line change
Expand Up @@ -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/
2 changes: 2 additions & 0 deletions commonrc
Original file line number Diff line number Diff line change
Expand Up @@ -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-'
} || {
Expand Down

0 comments on commit 7256339

Please sign in to comment.