print('</p><p>')
else:
indent = indent_re.match(self.line)
- #3.0: print(self._indent_to(len(indent.group(0))), end=' ')
print(self._indent_to(len(indent.group(1)), indent.group(2)))
+ # Stand back! Here we apply the monster regex that does all the parsing
print(re.sub(scan_re, self.replace, self.line))
if self.in_pre: print('</pre>')
out = '== '
pathname = ''
for dirname in self.page_name.strip('/').split('/'):
- pathname = (pathname + '/' + dirname) if pathname else dirname
+ pathname = (pathname and pathname + '/' ) + dirname
out += '[[' + pathname + '|' + dirname + ']]/'
out += ' ==\n'
+++ /dev/null
-#!/bin/bash
-# Copyright 2009 Bernie Innocenti <bernie@codewiz.org>
-
-if [ $# -ne 1 ]; then
- echo "Usage: $0 {path}"
- exit 1
-fi
-
-git log --pretty=oneline "$1" | while read log; do
- tree=($log)
- rev=`git ls-tree ${tree[0]} "$1" | awk '{print $3}'`
- git cat-file blob $rev | wc -l
-done | tac | graph -T X -a 1 -y 0 1000 -X revisions -Y LOCs
+++ /dev/null
-#!/bin/bash
-# Copyright 2009 Bernie Innocenti <bernie@codewiz.org>
-
-if [ $# -ne 1 ]; then
- echo "Usage: $0 {path}"
- exit 1
-fi
-
-info=(`git ls-tree HEAD $1`)
-git cat-file blob ${info[2]}