mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-01-12 11:45:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

Use powershell on Windows

Browse Source 
sh can be installed and on the path if e.g. git and the unix tools are installed
Even in this case the user would probably prefer to use powershell
This commit is contained in:
Dave Hirschfeld 2018-02-27 17:14:53 +10:00 committed by GitHub
parent 2aac713937
commit ce602fcb0d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
notebook/terminal/__init__.py
View File

@ -14,9 +14,10 @@ from .handlers import TerminalHandler, TermSocket
from . import api_handlers
def initialize(webapp, notebook_dir, connection_url, settings):
default_shell = which('sh')
if not default_shell and os.name == 'nt':
if os.name == 'nt':
default_shell = 'powershell.exe'
else:
default_shell = which('sh')
shell = settings.get('shell_command',
[os.environ.get('SHELL') or default_shell]
)