Merge pull request #4112 from dmikushin/master

Enable login mode for terminal - to automatically source the /etc/profile script
pull/4425/head
Min RK 7 years ago committed by GitHub
commit d145301b55
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -21,6 +21,9 @@ def initialize(webapp, notebook_dir, connection_url, settings):
shell = settings.get('shell_command',
[os.environ.get('SHELL') or default_shell]
)
# Enable login mode - to automatically source the /etc/profile script
if os.name != 'nt':
shell.append('-l')
terminal_manager = webapp.settings['terminal_manager'] = NamedTermManager(
shell_command=shell,
extra_env={'JUPYTER_SERVER_ROOT': notebook_dir,

Loading…
Cancel
Save