# HG changeset patch
# User Heiko Schlittermann <hs@schlittermann.de>
# Date 1451910873 -3600
# Node ID 77cdbbde04aed76eb9189b6b0ad89c4e46c93856
# Parent  df77456c60c298182ad44a2bc887242d26c0a697
Add comment about filenames

diff -r df77456c60c2 -r 77cdbbde04ae bin/once
--- a/bin/once	Mon Jan 04 13:33:53 2016 +0100
+++ b/bin/once	Mon Jan 04 13:34:33 2016 +0100
@@ -153,6 +153,7 @@
         my $filename = do {
 	# FIXME: should we allow backslashes in filenames? It's totally legal for *nix,
 	# but may confuse win* users, for now we play safe and convert \ to _
+	# OTOH, then we should convert other problematic chars too.
             $file =~ tr /\\/\//;	# convert \ to /
 	    $file =~ s/.*\///;          # poor man's basename
             $file =~ /(.*)/;