make atom file timestamp = current time

build.py

@@ -14,6 +14,7 @@
 
 import argparse
 from bs4 import BeautifulSoup
+import datetime
 import glob
 import html
 from io import StringIO
@@ -169,11 +170,9 @@ def make_atom_feed():
   blog_entries.sort(key=operator.itemgetter('date'))
 
   entries_io = StringIO()
-  last_update = None
   for entry in blog_entries:
     # We lie and pretend that all entries were written at noon EST.
     update_date = entry['date'] + 'T12:00:00-04:00'
-    last_update = update_date
     entries_io.write(entry_template.format(
         url=entry['url'],
         title=entry['title'],
@@ -183,6 +182,8 @@ def make_atom_feed():
 
   entries_text = entries_io.getvalue()
 
+  now = datetime.datetime.now()
+  last_update = datetime.datetime.isoformat(now, 'T', 'seconds') + '-04:00'
   atom_feed = atom_template.format(
       last_update=last_update,
       entries=entries_io.getvalue())

content/blog/20070522-gnokii-tips.md

@@ -14,7 +14,7 @@ I own a Nokia 6102i phone (provided by Cingular). [gnokii](http://gnokii.org) is
 
 Voice mail picks up in 20 seconds, so a ring tone should be about 20 seconds long.
 
-The easiest way to chop an MP3 in Linux is with dd; the drawback is that you need to specify length in KB, not time. To chop an MP3 to be 200 KB long, do:
+The easiest way to chop an MP3 in Linux is with `dd`; the drawback is that you need to specify length in KB, not time. To chop an MP3 to be 200 KB long, do:
 
 `dd if=Mii\ Channel.mp3 of=MiiChan2.mp3 bs=1k count=200`