diff options
Diffstat (limited to 'devbot/shell.py')
-rw-r--r-- | devbot/shell.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devbot/shell.py b/devbot/shell.py new file mode 100644 index 0000000..abe0695 --- /dev/null +++ b/devbot/shell.py @@ -0,0 +1,11 @@ +#!/usr/bin/python + +import os + +from devbot import environ + +def start(): + environ.setup() + + user_shell = os.environ.get("SHELL", "/bin/sh") + os.execlp(user_shell, user_shell) |