diff options
Diffstat (limited to 'devbot/shell.py')
-rw-r--r-- | devbot/shell.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/devbot/shell.py b/devbot/shell.py index abe0695..66f26f9 100644 --- a/devbot/shell.py +++ b/devbot/shell.py @@ -3,9 +3,10 @@ import os from devbot import environ +from devbot import config -def start(): +def start(rcfile): environ.setup() - user_shell = os.environ.get("SHELL", "/bin/sh") - os.execlp(user_shell, user_shell) + bash_path = "/bin/bash" + os.execlp(bash_path, bash_path, "--rcfile", rcfile) |