Show More
| @@ -12,7 +12,8 b'' | |||||
| 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" | |||
| 16 | > } |
|
17 | > } | |
| 17 |
|
18 | |||
| 18 | create random Python file to exercise Pygments |
|
19 | create random Python file to exercise Pygments | |
General Comments 0
You need to be logged in to leave comments.
Login now