739b272 Set custom PATH in non-login shells

Authored and Committed by svashisht 5 years ago
    Set custom PATH in non-login shells
    
    .bash_profile is sourced only in login shells. Since .bash_profile
    sources .bashrc, it should be safe to set custom PATH in .bashrc.
    
    Resolves: #1615131
    
        
file modified
+5 -1
file modified
+0 -4
file modified
+4 -0