From 597354356b00f0c425482934f6e4c52011b5fd43 Mon Sep 17 00:00:00 2001 From: Bryan Joshua Pedini Date: Sat, 17 Jul 2021 15:50:41 +0200 Subject: [PATCH] for some reason sometimes I do not have home bin folder added automatically no problem, fixed --- bashrc_overrides/_all | 2 +- bashrc_overrides/home_bin_folder | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 bashrc_overrides/home_bin_folder diff --git a/bashrc_overrides/_all b/bashrc_overrides/_all index 83ba85b..5456521 100644 --- a/bashrc_overrides/_all +++ b/bashrc_overrides/_all @@ -1,4 +1,4 @@ -for source in colored_commands convenience_aliases git_functions histcontrol ls_aliases safety_aliases terminal_colors terminal_fancyfying; do +for source in colored_commands convenience_aliases git_functions histcontrol home_bin_folder ls_aliases safety_aliases terminal_colors terminal_fancyfying; do if [ -f ~/.bashrc_overrides/$source ]; then . ~/.bashrc_overrides/$source fi diff --git a/bashrc_overrides/home_bin_folder b/bashrc_overrides/home_bin_folder new file mode 100644 index 0000000..3d44fc0 --- /dev/null +++ b/bashrc_overrides/home_bin_folder @@ -0,0 +1,4 @@ +# set PATH so it includes user's private bin if it exists +if [ -d "$HOME/bin" ] ; then + PATH="$HOME/bin:$PATH" +fi