# HG changeset patch # User Benoit Boissinot # Date 1156960734 -7200 # Node ID ea734528ce04ff597169405b448676a5ef96b341 # Parent d9b8d28c0b9458d3059acbbdf1bcbc5c330ea2fd# Parent a4374f7331e467d5131aeb067ae7e1eee55a2356 merge with brendan diff --git a/hgeditor b/hgeditor --- a/hgeditor +++ b/hgeditor @@ -41,13 +41,15 @@ HGTMP="${TMPDIR-/tmp}/hgeditor.$RANDOM.$ cat "$1" > "$HGTMP/msg" -CHECKSUM=`md5sum "$HGTMP/msg"` +MD5=$(which md5sum 2>/dev/null) || \ + MD5=$(which md5 2>/dev/null) +[ -x "${MD5}" ] && CHECKSUM=`${MD5} "$HGTMP/msg"` if [ -s "$HGTMP/diff" ]; then $EDITOR "$HGTMP/msg" "$HGTMP/diff" || exit $? else $EDITOR "$HGTMP/msg" || exit $? fi -echo "$CHECKSUM" | md5sum -c >/dev/null 2>&1 && exit 13 +[ -x "${MD5}" ] && (echo "$CHECKSUM" | ${MD5} -c >/dev/null 2>&1 && exit 13) mv "$HGTMP/msg" "$1" diff --git a/templates/map-gitweb b/templates/map-gitweb --- a/templates/map-gitweb +++ b/templates/map-gitweb @@ -19,12 +19,12 @@ manifestfileentry = ' #linenumber# #line|escape#' -annotateline = '#author|obfuscate#@#rev##line|escape#' -difflineplus = '
#line|escape#
' -difflineminus = '
#line|escape#
' -difflineat = '
#line|escape#
' -diffline = '
#line|escape#
' +fileline = '
   #linenumber# #line|escape#
' +annotateline = '#author|obfuscate#@#rev#
#line|escape#
' +difflineplus = '
#line|escape#
' +difflineminus = '
#line|escape#
' +difflineat = '
#line|escape#
' +diffline = '
#line|escape#
' changelogparent = 'parent #rev#:#node|short#' changesetparent = 'parent#node|short#' filerevparent = 'parent:#node|short#' @@ -37,7 +37,7 @@ filerevchild = ' fileannotatechild = 'child:#node|short#' tags = tags-gitweb.tmpl tagentry = '#date|age# ago#tag|escape#changeset | changelog | manifest' -diffblock = '#lines#' +diffblock = '
#lines#
' changelogtag = 'tag:#tag|escape#' changesettag = 'tag#tag|escape#' filediffparent = 'parent #rev#:#node|short#' diff --git a/templates/static/style-gitweb.css b/templates/static/style-gitweb.css --- a/templates/static/style-gitweb.css +++ b/templates/static/style-gitweb.css @@ -47,3 +47,4 @@ a.rss_logo { text-align:center; text-decoration:none; } a.rss_logo:hover { background-color:#ee5500; } +pre { margin: 0; }