zsh/misc.zsh @ 7cfce5fd0b3c

zsh: remove unused aliases
author Steve Losh <steve@dwaiter.com>
date Wed, 21 Jul 2010 16:33:47 -0400
parents 60a5c951165a
children c591465563db
alias pbc='pbcopy'
alias pbp='pbpaste'

function mdown () {
    (echo '
        <head>
            <style>
                body {
                    font-family: Georgia;
                    font-size: 17px;
                    line-height: 1.4;
                    color: #222;
                    text-rendering: optimizeLegibility;
                    width: 700px;
                    margin: 20px auto;
                }
                h1, h2, h3, h4, h5, h6 {
                    font-family: Garamond;
                    font-weight: normal;
                }
                pre {
                    background-color: #f5f5f5;
                    font: normal 16px Menlo;
                    padding: 8px 10px;
                }
            </style>
        </head>
    '; markdown $@) | bcat
}