Re: [BUG] redundant error message
On Fri, Dec 06, 2013 at 08:15:52AM +0700, Duy Nguyen wrote: On Fri, Dec 6, 2013 at 4:28 AM, Jeff King p...@peff.net wrote: BTW, the raw looping to find -- made me wonder how we handle: git log --grep -- HEAD I'd expect it to be equivalent to: git log --grep=-- HEAD but it's not; we truncate the arguments and complain that --grep is missing its argument. Which is probably good enough, given that the alternative is doing a pass that understands all of the options. But it does mean that the --long-opt=arg form is safer than the split form if you are passing along an arbitrary arg. Maybe we could make setup_revisions() use parse_options() someday, which understands about arguments and dashdash. $ ./git grep -e -- foo fatal: ambiguous argument 'foo': both revision and filename Use '--' to separate paths from revisions, like this: 'git command [revision...] -- [file...]' $ ./git grep -e -- -- foo Yes, although we use it some in handle_revision_opt, I believe. The problem isn't inherent to parse_options or not, though. To do it correctly, we need to either: 1. make two passes with the code that actually understands the options (be it parse_options or not); the first looking for --, and the second to do the actual parsing. Right now our first pass does not understand the options at all. 2. store the non-option arguments (including --), and only resolve and verify them after we have gone through the whole command-line and know whether we hit a -- or not. I suspect the second option would be simpler, as neither parse-options nor the current revision code is safe to run through twice (e.g., parse-options may have callbacks that add to a list, and we would need to add some kind of dry-run flag). It's something that would be nice to fix, but I don't see myself working on it anytime soon. It's a lot of work for very little benefit. -Peff -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
[BUG] redundant error message
$ git rev-parse foobar -- foobar fatal: ambiguous argument 'foobar': unknown revision or path not in the working tree. Use '--' to separate paths from revisions, like this: 'git command [revision...] -- [file...]' I already put -- there. So it should shut up. -- Duy -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [BUG] redundant error message
On Thu, Dec 05, 2013 at 05:07:31PM +0700, Duy Nguyen wrote: $ git rev-parse foobar -- foobar fatal: ambiguous argument 'foobar': unknown revision or path not in the working tree. Use '--' to separate paths from revisions, like this: 'git command [revision...] -- [file...]' I already put -- there. So it should shut up. I think it is more than just a bad error message; if we get that message, it means we are following the wrong code path in interpreting foobar: $ foobar $ git rev-parse foobar -- foobar -- fatal: bad flag '--' used after filename That's not right. It looks like this isn't a new breakage, though. v1.5.0 produces the same result. -Peff -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [BUG] redundant error message
Jeff King p...@peff.net writes: $ foobar $ git rev-parse foobar -- foobar -- fatal: bad flag '--' used after filename That's not right. Hmph, it looks like it is following the usual zero-or-more dashed options, zero-or-more revs and then zero-or-one double-dash and then zero-or-more paths rule to parse the thing. foobar is a file and not a rev, so -- should not be there, no? Confused why you think it is not right... -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [BUG] redundant error message
On Thu, Dec 05, 2013 at 12:00:16PM -0800, Junio C Hamano wrote: Jeff King p...@peff.net writes: $ foobar $ git rev-parse foobar -- foobar -- fatal: bad flag '--' used after filename That's not right. Hmph, it looks like it is following the usual zero-or-more dashed options, zero-or-more revs and then zero-or-one double-dash and then zero-or-more paths rule to parse the thing. foobar is a file and not a rev, so -- should not be there, no? Confused why you think it is not right... Because once you say --, then all ambiguity goes away, no? Everything to the left is a rev, not a filename, and everything to the right is a filename. E.g.: $ git log foobar -- fatal: bad revision 'foobar' I think rev-parse is not following the same rules that the rest of the revision-parsing programs do. -Peff -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [BUG] redundant error message
Jeff King p...@peff.net writes: On Thu, Dec 05, 2013 at 12:00:16PM -0800, Junio C Hamano wrote: Jeff King p...@peff.net writes: $ foobar $ git rev-parse foobar -- foobar -- fatal: bad flag '--' used after filename That's not right. Hmph, it looks like it is following the usual zero-or-more dashed options, zero-or-more revs and then zero-or-one double-dash and then zero-or-more paths rule to parse the thing. foobar is a file and not a rev, so -- should not be there, no? Confused why you think it is not right... Because once you say --, then all ambiguity goes away, no? But it is tricky (not from implementation but from semantics point of view) to make rev-parse follow that -- separates revs and paths rule literally. The primary use of rev-parse is to convert revs in extended SHA-1 expressions into concrete object names, so that scripts do not have to worry about having to deal with object names in a format that is not 40-hexdecimal. git rev-parse foobar -- that gives foobar -- without any error, because 'foobar' cannot be made into an object name, would be behaving in a way unexpected by the calling script, no? -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [BUG] redundant error message
On Thu, Dec 05, 2013 at 12:15:07PM -0800, Junio C Hamano wrote: Hmph, it looks like it is following the usual zero-or-more dashed options, zero-or-more revs and then zero-or-one double-dash and then zero-or-more paths rule to parse the thing. foobar is a file and not a rev, so -- should not be there, no? Confused why you think it is not right... Because once you say --, then all ambiguity goes away, no? But it is tricky (not from implementation but from semantics point of view) to make rev-parse follow that -- separates revs and paths rule literally. The primary use of rev-parse is to convert revs in extended SHA-1 expressions into concrete object names, so that scripts do not have to worry about having to deal with object names in a format that is not 40-hexdecimal. git rev-parse foobar -- that gives foobar -- without any error, because 'foobar' cannot be made into an object name, would be behaving in a way unexpected by the calling script, no? Yes, I do expect an error. But it should not be -- after filename. It should be foobar is not a revision. Thinking on it more, though, the problem is purely limited to wrong error messages. If foobar exists as a rev, we do parse it correctly. If it does not, we are in the wrong code path, but it _must_ be an error at that point (either because foobar does not exist as a file, or it does and has -- after it). It would be nice to get the error messages right, though. I do not see any reason why it could not follow the same steps as git log, converting revisions (or throwing an error as appropriate) on the left side of the --, and passing through the right side untouched. -Peff -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [BUG] redundant error message
On Thu, Dec 05, 2013 at 04:00:00PM -0500, Jeff King wrote: Yes, I do expect an error. But it should not be -- after filename. It should be foobar is not a revision. [...] It would be nice to get the error messages right, though. I do not see any reason why it could not follow the same steps as git log, converting revisions (or throwing an error as appropriate) on the left side of the --, and passing through the right side untouched. IOW, the patch below, which is the same strategy that setup_revisions uses: diff --git a/builtin/rev-parse.c b/builtin/rev-parse.c index c76b89d..845eab9 100644 --- a/builtin/rev-parse.c +++ b/builtin/rev-parse.c @@ -476,6 +476,7 @@ N_(git rev-parse --parseopt [options] -- [args...]\n int cmd_rev_parse(int argc, const char **argv, const char *prefix) { int i, as_is = 0, verify = 0, quiet = 0, revs_count = 0, type = 0; + int has_dashdash = 0; int output_prefix = 0; unsigned char sha1[20]; const char *name = NULL; @@ -489,6 +490,14 @@ int cmd_rev_parse(int argc, const char **argv, const char *prefix) if (argc 1 !strcmp(-h, argv[1])) usage(builtin_rev_parse_usage); + + for (i = 1; i argc; i++) { + if (!strcmp(argv[i], --)) { + has_dashdash = 1; + break; + } + } + prefix = setup_git_directory(); git_config(git_default_config, NULL); for (i = 1; i argc; i++) { @@ -765,6 +774,8 @@ int cmd_rev_parse(int argc, const char **argv, const char *prefix) } if (verify) die_no_single_rev(quiet); + if (has_dashdash) + die(bad revision '%s', arg); as_is = 1; if (!show_file(arg, output_prefix)) continue; BTW, the raw looping to find -- made me wonder how we handle: git log --grep -- HEAD I'd expect it to be equivalent to: git log --grep=-- HEAD but it's not; we truncate the arguments and complain that --grep is missing its argument. Which is probably good enough, given that the alternative is doing a pass that understands all of the options. But it does mean that the --long-opt=arg form is safer than the split form if you are passing along an arbitrary arg. -Peff -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [BUG] redundant error message
Jeff King p...@peff.net writes: BTW, the raw looping to find -- made me wonder how we handle: git log --grep -- HEAD I'd expect it to be equivalent to: git log --grep=-- HEAD but it's not; we truncate the arguments and complain that --grep is missing its argument. Which is probably good enough, given that the alternative is doing a pass that understands all of the options. But it does mean that the --long-opt=arg form is safer than the split form if you are passing along an arbitrary arg. ;-) Good flow of thought. As to your rev-parse change, I don't immediately think of a hole/flaw offhand; it looked a good straight-forward change to me. -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [BUG] redundant error message
On Fri, Dec 6, 2013 at 4:28 AM, Jeff King p...@peff.net wrote: BTW, the raw looping to find -- made me wonder how we handle: git log --grep -- HEAD I'd expect it to be equivalent to: git log --grep=-- HEAD but it's not; we truncate the arguments and complain that --grep is missing its argument. Which is probably good enough, given that the alternative is doing a pass that understands all of the options. But it does mean that the --long-opt=arg form is safer than the split form if you are passing along an arbitrary arg. Maybe we could make setup_revisions() use parse_options() someday, which understands about arguments and dashdash. $ ./git grep -e -- foo fatal: ambiguous argument 'foo': both revision and filename Use '--' to separate paths from revisions, like this: 'git command [revision...] -- [file...]' $ ./git grep -e -- -- foo $ -- Duy -- To unsubscribe from this list: send the line unsubscribe git in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html