#!/usr/bin/python import os WWW = os.path.join("..","www") CONFIG = os.path.join("config") DATA = os.path.join("..", "data") HEADER = open(os.path.join(CONFIG, "header.txt")).read() FOOTER = open(os.path.join(CONFIG, "footer.txt")).read() FILES = [] for file in os.listdir(DATA): filename = os.path.join(DATA, file) if os.path.isfile(filename) and os.path.splitext(filename)[1] == ".txt": FILES.append(file) print FILES def write(outurl="default.html"): outfile = open(os.path.join(WWW, outurl), "w") for line in HEADER: outfile.write(line) #for line in write_placeholder(): # outfile.write(line) for file in FILES: for line in write_entry(file): outfile.write(line) for line in FOOTER: outfile.write(line) outfile.close() def write_entry(file): # dump given file into entry format, return as list of strings entry = [ "\t\t



\n", "\t\t
\n", "\t\t\t
DD month YYYY
\n", "\t\t\t

" ] raw = [] rawfile = open(os.path.join(DATA, file), "r") for line in rawfile: raw.append(line) rawfile.close() print raw for line in raw: entry.append(line+"\t\t\t") if line == "\n": entry.append("

\n\t\t\t

") entry.append("

\n\t\t
\n") return entry def parse_date(file): # assuming a filename of YYYYMMDD.txt, returns a list of # ['YYYY', 'MM', 'DD'] return