diff options
| author |  http://joeyh.name/ <http://joeyh.name/@web> | 2014-02-12 16:27:20 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-02-12 16:27:20 +0000 |
| commit | 4b4f3440227d70d7fd34051ab3d3b8edc4368333 (patch) | |
| tree | 66a86110b494517bc8951a7c20b9bb7cc4d5bd0b | |
| parent | f68f0cd1092892f5c42e021acd22bc84905714b3 (diff) | |
Added a comment
| -rw-r--r-- | doc/bugs/Matching_oddity_in_SafeCommand.hs/comment_1_1a51630c0791547a7e0b68eea5d81e4c._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/Matching_oddity_in_SafeCommand.hs/comment_1_1a51630c0791547a7e0b68eea5d81e4c._comment b/doc/bugs/Matching_oddity_in_SafeCommand.hs/comment_1_1a51630c0791547a7e0b68eea5d81e4c._comment new file mode 100644 index 000000000..d52dfed43 --- /dev/null +++ b/doc/bugs/Matching_oddity_in_SafeCommand.hs/comment_1_1a51630c0791547a7e0b68eea5d81e4c._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="209.250.56.172" + subject="comment 1" + date="2014-02-12T16:27:10Z" + content=""" +You're right that line only matches empty filenames. I think that the Hurd actually does support empty filenames. It seems that the command being run would otherwise complain that it was given an empty parameter. So I do not think it's worth throwing an error here. Also, I prefer to keep toCommand a total function. +"""]] |