upstream/ipython Files · IPython/frontend/html/notebook/static/codemirror/mode/shell/index.html

default application logger shouldn't propagate...

default application logger shouldn't propagate avoids annoying duplicate messages on the root logger under some circumstances. If apps want to hook up their own logging, they should assign the log attribute.

Matthias BUSSONNIER - - Load All Authors

File last commit:

r8053:58574fbf


                r10203:e2932e09

Download file

             index.html
        
                    50 lines
            
             | 1.2 KiB
            
                | text/html
            
             |
                HtmlLexer
            
             / IPython / frontend / html / notebook / static / codemirror / mode / shell / index.html
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      <!doctype html>

      <meta charset=utf-8>

      <title>CodeMirror: Shell mode</title>

      <link rel=stylesheet href=../../lib/codemirror.css>

      <link rel=stylesheet href=../../doc/docs.css>

      <style type=text/css>

        .CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}

      </style>

      <script src=../../lib/codemirror.js></script>

      <script src=shell.js></script>

      <h1>CodeMirror: Shell mode</h1>

      <textarea id=code>

      #!/bin/bash

      # clone the repository

      git clone http://github.com/garden/tree

      # generate HTTPS credentials

      cd tree

      openssl genrsa -aes256 -out https.key 1024

      openssl req -new -nodes -key https.key -out https.csr

      openssl x509 -req -days 365 -in https.csr -signkey https.key -out https.crt

      cp https.key{,.orig}

      openssl rsa -in https.key.orig -out https.key

      # start the server in HTTPS mode

      cd web

      sudo node ../server.js 443 'yes' &gt;&gt; ../node.log &amp;

      # here is how to stop the server

      for pid in `ps aux | grep 'node ../server.js' | awk '{print $2}'` ; do

        sudo kill -9 $pid 2&gt; /dev/null

      done

      exit 0</textarea>

      <script>

        var editor = CodeMirror.fromTextArea(document.getElementById('code'), {

          mode: 'shell',

          lineNumbers: true,

          matchBrackets: true

        });

      </script>

      <p><strong>MIME types defined:</strong> <code>text/x-sh</code>.</p>

	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

				<!doctype html>
				<meta charset=utf-8>
				<title>CodeMirror: Shell mode</title>

				<link rel=stylesheet href=../../lib/codemirror.css>
				<link rel=stylesheet href=../../doc/docs.css>

				<style type=text/css>
				.CodeMirror {border-top: 1px solid black; border-bottom: 1px solid black;}
				</style>

				<script src=../../lib/codemirror.js></script>
				<script src=shell.js></script>

				<h1>CodeMirror: Shell mode</h1>

				<textarea id=code>
				#!/bin/bash

				# clone the repository
				git clone http://github.com/garden/tree

				# generate HTTPS credentials
				cd tree
				openssl genrsa -aes256 -out https.key 1024
				openssl req -new -nodes -key https.key -out https.csr
				openssl x509 -req -days 365 -in https.csr -signkey https.key -out https.crt
				cp https.key{,.orig}
				openssl rsa -in https.key.orig -out https.key

				# start the server in HTTPS mode
				cd web
				sudo node ../server.js 443 'yes' >> ../node.log &

				# here is how to stop the server
				for pid in `ps aux \| grep 'node ../server.js' \| awk '{print $2}'` ; do
				sudo kill -9 $pid 2> /dev/null
				done

				exit 0</textarea>

				<script>
				var editor = CodeMirror.fromTextArea(document.getElementById('code'), {
				mode: 'shell',
				lineNumbers: true,
				matchBrackets: true
				});
				</script>

				<p><strong>MIME types defined:</strong> <code>text/x-sh</code>.</p>