Pedro Kroger kroger

## ex1.5.py
def p():
    return p()

def test(x, y):
    return 0 if x == 0 else y

test(0, p())

## process-latex
s/\quarternote= /\quarternote=/g
s/\quarternote /\quarternote{} /
s/\textbf{Exercise/\par \\textbf{Exercise/g
s/\textbf{Track/\par \\textbf{Track/g

## code.tex
\newcommand{code}[2]{
  hrulefill
  subsection*{#1}
  lstinputlisting{#2}
  vspace{2em}
}

## header.tex
\newcommand{\header}[1]{
  \begin{tikzpicture}
    \node [fill=shade,rounded corners=5pt]
    {
      \parbox{.95\linewidth}{
        \large
        \textcolor{blue}{\sf \textbf{\raisebox{-15pt}{#1}}}
        \vspace*{1ex}
      }
    };

## cond_ex.py
cond = cond_interval_count(((0, 1), (1, 2)))
filter_sets(cond)

## pascal-triangle
      1
     1 1
    1 2 1
   1 3 3 1
  1 4 6 4 1
1 5 10 10 5 1

## convert.sh
fluidsynth -F output.wav ~/Soundfonts/my-soundfont.sf2 myfile.midi
lame output.wav

## autoimage
.. autoimage:: notation3.png
    :scale-html: 40
    :scale-latex: 80

## gist:9962764
#!/bin/bash

for file in */*.ogg
do
	echo "* Converting: $name"
	name=${file%%.*}
	ogg123 -d wav -f - $file | lame -h -m s -b 192 - "$name.mp3"
done

## midi2mp3
#!/usr/bin/env bash


SOUNDFONT=/Users/kroger/Dropbox/Sfonts/BOPLMEVF16.sf2
TMPDIR=/tmp

if [[ ! -f $SOUNDFONT ]]
then
    echo "Couldn't find the soundfont: $SOUNDFONT"
    exit 1
	def p():
	return p()

	def test(x, y):
	return 0 if x == 0 else y

	test(0, p())
	s/\quarternote= /\quarternote=/g
	s/\quarternote /\quarternote{} /
	s/\textbf{Exercise/\par \\textbf{Exercise/g
	s/\textbf{Track/\par \\textbf{Track/g
	\newcommand{code}[2]{
	hrulefill
	subsection*{#1}
	lstinputlisting{#2}
	vspace{2em}
	}
	cond = cond_interval_count(((0, 1), (1, 2)))
	filter_sets(cond)
	fluidsynth -F output.wav ~/Soundfonts/my-soundfont.sf2 myfile.midi
	lame output.wav
	#!/bin/bash

	for file in /.ogg
	do
	echo "* Converting: $name"
	name=${file%%.*}
	ogg123 -d wav -f - $file \| lame -h -m s -b 192 - "$name.mp3"
	done
	#!/usr/bin/env bash


	SOUNDFONT=/Users/kroger/Dropbox/Sfonts/BOPLMEVF16.sf2
	TMPDIR=/tmp

	if [[ ! -f $SOUNDFONT ]]
	then
	echo "Couldn't find the soundfont: $SOUNDFONT"
	exit 1