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

DEV: Refactor checkpoint logic from FileContentsManager....

DEV: Refactor checkpoint logic from FileContentsManager. - Add a `CheckpointManager` base class and infrastructure for creating a `checkpoint_manager` instance attribute on `ContentsManager`. - Provide default implementations of `delete` and `rename` in the base `ContentsManager` class. `ContentsManager` subclasses are now required to implement `delete_file` and `rename_file`. These methods no longer need to manage checkpoints. - Move checkpoint-related functionality from `FileContentsManager` to a dedicated `FileCheckpointManager` subclass. - Move shared filesystem interaction logic into `FileManagerMixin` used by both `FileContentsManager` and `FileCheckpointManager`. - Minor tweaks to ContentsManager tests to get methods from the right object. The purpose of this change is to provide an API for users to replace just the checkpoint logic associated with a particular `ContentsManager`. In particular, this change makes it possible to easily support remote storage of checkpoints while otherwise retaining normal filesystem interactions.

Min RK - - Load All Authors

File last commit:

r18616:d4e327ea


                r19727:974ebd4a

Download file

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

      import os

      from terminado import NamedTermManager

      from IPython.html.utils import url_path_join as ujoin

      from .handlers import TerminalHandler, TermSocket

      from . import api_handlers

      def initialize(webapp):

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

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

          base_url = webapp.settings['base_url']

          handlers = [

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

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

                   {'term_manager': terminal_manager}),

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

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

          ]

          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

				import os
				from terminado import NamedTermManager
				from IPython.html.utils import url_path_join as ujoin
				from .handlers import TerminalHandler, TermSocket
				from . import api_handlers

				def initialize(webapp):
				shell = os.environ.get('SHELL', 'sh')
				terminal_manager = webapp.settings['terminal_manager'] = NamedTermManager(shell_command=[shell])
				base_url = webapp.settings['base_url']
				handlers = [
				(ujoin(base_url, r"/terminals/(\w+)"), TerminalHandler),
				(ujoin(base_url, r"/terminals/websocket/(\w+)"), TermSocket,
				{'term_manager': terminal_manager}),
				(ujoin(base_url, r"/api/terminals"), api_handlers.TerminalRootHandler),
				(ujoin(base_url, r"/api/terminals/(\w+)"), api_handlers.TerminalHandler),
				]
				webapp.add_handlers(".*$", handlers)