Fixes #215. Redirect bashrc and bash_profile pipes to /dev/null

This commit is contained in:
Glavin Wiechert 2015-03-16 02:19:05 -03:00
parent 2f012e296a
commit e59d7c33a6
1 changed files with 2 additions and 2 deletions

View File

@ -46,8 +46,8 @@ module.exports = (getCmd, isStdout) ->
# This should normalize the $PATH
# by calling the external files that would usually
# change the $PATH variable on user login.
$path = "[ -f ~/.bash_profile ] && source ~/.bash_profile;"
$path += "[ -f ~/.bashrc ] && source ~/.bashrc;"
$path = "[ -f ~/.bash_profile ] && source ~/.bash_profile > /dev/null 2>&1;"
$path += "[ -f ~/.bashrc ] && source ~/.bashrc > /dev/null 2>&1;"
# See http://stackoverflow.com/a/638980/2578205
# for checking if file exists in Bash