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

tweak raw-input styling...

tweak raw-input styling should fix alignment of raw_input and prompt

Matthias BUSSONNIER - - Load All Authors

File last commit:

r8053:58574fbf


                r10371:5a8093e9

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>