From 35e5843273239e730bd9c359883decc86bea30c4 Mon Sep 17 00:00:00 2001
From: Carlos Bautista <carlosbm@gmail.com>
Date: Tue, 9 Apr 2013 17:50:03 +0200
Subject: [PATCH] date: changed %k switch to %H. The former inserts padding
 spaces when hour is under 10

---
 bb.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bb.sh b/bb.sh
index 2bfdb29..3cd0c65 100755
--- a/bb.sh
+++ b/bb.sh
@@ -227,7 +227,7 @@ if [ "$global_disqus" != "" ]; then
 #
 # $1 	the file to edit
 edit() {
-    timestamp="$(date -r $1 +'%Y%m%d%k%M')"
+    timestamp="$(date -r $1 +'%Y%m%d%H%M')"
     $EDITOR "$1"
     touch -t $timestamp "$1"
 }
@@ -623,7 +623,7 @@ rebuild_all_entries() {
 
         create_html_page "$contentfile" "$i.rebuilt" no "$title" "$timestamp"
         # keep the original timestamp!
-        timestamp="$(date -r $i +'%Y%m%d%k%M')"
+        timestamp="$(date -r $i +'%Y%m%d%H%M')"
         mv "$i.rebuilt" "$i"
         chmod 644 "$i"
         touch -t $timestamp "$i"