20 Sep
2010
20 Sep
'10
10:37 a.m.
On 20 September 2010 16:17, Michael Snoyman
My question is whether people would prefer a different default rule. (I say default because you can easily override this setting using the splitPath and joinPath functions.) The other two rules I could think of are always requiring or always banning the trailing slash. I think the former will make filenames look strange, but I don't really have a strong feeling on the latter.
Seems reasonable. I don't think a trailing slash is so important a distinction as a file extension, but it doesn't seem to hurt either. If this is purely about presentation and not a technical issue I'd go along with what you describe here. I go with the same distinction in my own applications.