11   $ cd test

    11   $ cd test

    12 

    12 

    13   $ filterhtml () {

    13   $ filterhtml () {

    14   >   sed -e "s/class=\"k\"/class=\"kn\"/g" \

    14   >   sed -e "s/class=\"k\"/class=\"kn\"/g" \

    15   >       -e "s/class=\"mf\"/class=\"mi\"/g" \

    15   >       -e "s/class=\"mf\"/class=\"mi\"/g" \

    16   >       -e "s/class=\"\([cs]\)[h12]\"/class=\"\1\"/g"

    17   >       -e "s/class=\"\([cs]\)[h12]\"/class=\"\1\"/g"

    17   > }

    18   > }

    18 

    19 

    19 create random Python file to exercise Pygments

    20 create random Python file to exercise Pygments

    20 

    21