Writing nicely formatted text in Python,"f.write('%-40s %6s %10s %2s\n' % (filename, type, size, modified))"