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

Generate "All magics..." menu live...

Generate "All magics..." menu live this use 'user_expression' request to ask for the value of 'get_ipython().lsmagic()' and populate the menu with the result. As is, the action need to be triggerd by hand, once the console have appear. Otherwith there is no prompt The logic can certainly also be shortend by using msg.id instead of uuid We should also keep a list of magic that shouldn't be executed without argument (eg: %gui) and don't put them in the menu. or appending '?' at the end

Matthias BUSSONNIER - - Load All Authors

File last commit:

r5390:c82649ea


                r5392:5881216f

Download file

             localinterfaces.py
        
                    40 lines
            
             | 1.3 KiB
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / utils / localinterfaces.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      """Simple utility for building a list of local IPs using the socket module.

      This module defines two constants:

      LOCALHOST : The loopback interface, or the first interface that points to this

                  machine.  It will *almost* always be '127.0.0.1'

      LOCAL_IPS : A list of IP addresses, loopback first, that point to this machine.

      """

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

      #  Copyright (C) 2010-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

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

      import socket

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

      # Code

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

      LOCAL_IPS = []

      try:

          LOCAL_IPS = socket.gethostbyname_ex('localhost')[2]

      except socket.gaierror:

          pass

      try:

          LOCAL_IPS.extend(socket.gethostbyname_ex(socket.gethostname())[2])

      except socket.gaierror:

          pass

      # include all-interface aliases: 0.0.0.0 and ''

      LOCAL_IPS.extend(['0.0.0.0', ''])

      LOCALHOST = LOCAL_IPS[0]

	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

				"""Simple utility for building a list of local IPs using the socket module.
				This module defines two constants:

				LOCALHOST : The loopback interface, or the first interface that points to this
				machine. It will almost always be '127.0.0.1'

				LOCAL_IPS : A list of IP addresses, loopback first, that point to this machine.
				"""
				#-----------------------------------------------------------------------------
				# Copyright (C) 2010-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
				#-----------------------------------------------------------------------------

				import socket

				#-----------------------------------------------------------------------------
				# Code
				#-----------------------------------------------------------------------------

				LOCAL_IPS = []
				try:
				LOCAL_IPS = socket.gethostbyname_ex('localhost')[2]
				except socket.gaierror:
				pass

				try:
				LOCAL_IPS.extend(socket.gethostbyname_ex(socket.gethostname())[2])
				except socket.gaierror:
				pass

				# include all-interface aliases: 0.0.0.0 and ''
				LOCAL_IPS.extend(['0.0.0.0', ''])

				LOCALHOST = LOCAL_IPS[0]