upstream/ipython Files · IPython/html/terminal/__init__.py

setting an option to null sets the default in CodeMirror...

setting an option to null sets the default in CodeMirror matching the unset behavior in config

Min RK - - Load All Authors

File last commit:

r18616:d4e327ea


                r19311:9c060bc5

Download file

             __init__.py
        
                    17 lines
            
             | 800 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / html / terminal / __init__.py
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
      import os

      from terminado import NamedTermManager

        Thomas Kluyver
    
Put terminal handlers under base_url

              r18485
            
      from IPython.html.utils import url_path_join as ujoin

        Min RK
    
create new terminals with POST /api/terminals...

              r18616
            
      from .handlers import TerminalHandler, TermSocket

        Thomas Kluyver
    
Initial REST API for terminals

              r18483
            
      from . import api_handlers

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
      def initialize(webapp):

          shell = os.environ.get('SHELL', 'sh')

        Min RK
    
create new terminals with POST /api/terminals...

              r18616
            
          terminal_manager = webapp.settings['terminal_manager'] = NamedTermManager(shell_command=[shell])

        Thomas Kluyver
    
Put terminal handlers under base_url

              r18485
            
          base_url = webapp.settings['base_url']

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
          handlers = [

        Thomas Kluyver
    
Put terminal handlers under base_url

              r18485
            
              (ujoin(base_url, r"/terminals/(\w+)"), TerminalHandler),

              (ujoin(base_url, r"/terminals/websocket/(\w+)"), TermSocket,

        Min RK
    
create new terminals with POST /api/terminals...

              r18616
            
                   {'term_manager': terminal_manager}),

        Thomas Kluyver
    
Put terminal handlers under base_url

              r18485
            
              (ujoin(base_url, r"/api/terminals"), api_handlers.TerminalRootHandler),

              (ujoin(base_url, r"/api/terminals/(\w+)"), api_handlers.TerminalHandler),

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
          ]

          webapp.add_handlers(".*$", handlers)

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

Thomas Kluyver Multiple terminals and conditional initialisation	r18482	import os
		from terminado import NamedTermManager
Thomas Kluyver Put terminal handlers under base_url	r18485	from IPython.html.utils import url_path_join as ujoin
Min RK create new terminals with POST /api/terminals...	r18616	from .handlers import TerminalHandler, TermSocket
Thomas Kluyver Initial REST API for terminals	r18483	from . import api_handlers
Thomas Kluyver Multiple terminals and conditional initialisation	r18482
		def initialize(webapp):
		shell = os.environ.get('SHELL', 'sh')
Min RK create new terminals with POST /api/terminals...	r18616	terminal_manager = webapp.settings['terminal_manager'] = NamedTermManager(shell_command=[shell])
Thomas Kluyver Put terminal handlers under base_url	r18485	base_url = webapp.settings['base_url']
Thomas Kluyver Multiple terminals and conditional initialisation	r18482	handlers = [
Thomas Kluyver Put terminal handlers under base_url	r18485	(ujoin(base_url, r"/terminals/(\w+)"), TerminalHandler),
		(ujoin(base_url, r"/terminals/websocket/(\w+)"), TermSocket,
Min RK create new terminals with POST /api/terminals...	r18616	{'term_manager': terminal_manager}),
Thomas Kluyver Put terminal handlers under base_url	r18485	(ujoin(base_url, r"/api/terminals"), api_handlers.TerminalRootHandler),
		(ujoin(base_url, r"/api/terminals/(\w+)"), api_handlers.TerminalHandler),
Thomas Kluyver Multiple terminals and conditional initialisation	r18482	]
		webapp.add_handlers(".*$", handlers)