http://bugs.gpodder.org/show_bug.cgi?id=324
--- Comment #2 from John_T <[email protected]> 2009-01-15 12:08:16 --- (In reply to comment #1) > Wouldn't it be better to just have unique file names by default? It's > podcasts, they come and go, who cares if instead of "How I unboxed an > N810.mp4" > a file is named "How I unboxed an N810.20090115.1234.mp4", where "1234" is the > episode id from the database, which is added automatically and > unconditionally? > Nobody bothers podcast producers (who actually don't need to get into these > details), users don't miss their files, everyone's happy. > > Huh? In principle, I'm OK with that. I'm using Rockbox, and sometimes browse my players file system to look for episodes. If there are multiple episodes of the form: N810.20090115.1234.mp4" N810.20090116.2334.mp4" N810.20090117.34564.mp4" Then that'd be just fine, as the date part ensures that they're sorted in a semi-sensible fashion. Forcing the addition of the episode ID to guarantee uniqueness works, even if it means long ugly file names. As long as the human readable part of the name is at the front, it would certainly meet my needs. -- Configure bugmail: http://bugs.gpodder.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are watching all bug changes. _______________________________________________ gPodder-Bugs mailing list [email protected] https://lists.berlios.de/mailman/listinfo/gpodder-bugs
