upstream/ipython Files · IPython/html/utils.py

add js_extensions_path...

add js_extensions_path serves files in `IPYTHONDIR/js_extensions` at `/js_extensions`. This is a location for users / devs to drop-in frontend customization as js modules, css, etc. The model is very much like the extensions dir (hence the name) - it's a location made available, but not loaded by default. You can load things from there with require, etc. It's a configurable search path, just like static. This way we can define a system-wide location at a later point (/usr/share/ipython/js_extensions?) and still have user installs.

MinRK - - Load All Authors

File last commit:

r11033:fa36e98f


                r12800:e6dfc2ae

Download file

             utils.py
        
                    32 lines
            
             | 1.0 KiB
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / html / utils.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      """Notebook related utilities

      Authors:

      * Brian Granger

      """

      #-----------------------------------------------------------------------------

      #  Copyright (C) 2011  The IPython Development Team

      #

      #  Distributed under the terms of the BSD License.  The full license is in

      #  the file COPYING, distributed as part of this software.

      #-----------------------------------------------------------------------------

      #-----------------------------------------------------------------------------

      # Imports

      #-----------------------------------------------------------------------------

      def url_path_join(*pieces):

          """Join components of url into a relative url

          Use to prevent double slash when joining subpath. This will leave the

          initial and final / in place

          """

          initial = pieces[0].startswith('/')

          final = pieces[-1].endswith('/')

          striped = [s.strip('/') for s in pieces]

          result = '/'.join(s for s in striped if s)

          if initial: result = '/' + result

          if final: result = result + '/'

          if result == '//': result = '/'

          return result

	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

				"""Notebook related utilities

				Authors:

				* Brian Granger
				"""

				#-----------------------------------------------------------------------------
				# Copyright (C) 2011 The IPython Development Team
				#
				# Distributed under the terms of the BSD License. The full license is in
				# the file COPYING, distributed as part of this software.
				#-----------------------------------------------------------------------------

				#-----------------------------------------------------------------------------
				# Imports
				#-----------------------------------------------------------------------------

				def url_path_join(*pieces):
				"""Join components of url into a relative url

				Use to prevent double slash when joining subpath. This will leave the
				initial and final / in place
				"""
				initial = pieces[0].startswith('/')
				final = pieces[-1].endswith('/')
				striped = [s.strip('/') for s in pieces]
				result = '/'.join(s for s in striped if s)
				if initial: result = '/' + result
				if final: result = result + '/'
				if result == '//': result = '/'
				return result