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

Use default OS shell to run system commands...

Use default OS shell to run system commands Instead of using os.system which uses /bin/sh, this uses subprocess.call (the replacement of os.system) to run the command using the default shell of the OS. With this, one can use more advanced commands for bash, zsh, ksh, ... I do not have a win32 system to test this modification, so maybe line 2236 can also be changed like 2239.

MinRK - - Load All Authors

File last commit:

r11033:fa36e98f


                r12217:56bf2f98

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