GNU bug report logs - #61051
treesit-install-language-grammar can provide the default repository URL

Previous Next

Full log

Message #14 received at 61051 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Dmitry Gutov <dgutov <at> yandex.ru>
Cc: 61051 <at> debbugs.gnu.org
Subject: Re: bug#61051: treesit-install-language-grammar can provide the
 default repository URL
Date: Wed, 25 Jan 2023 16:50:37 +0200

> Date: Wed, 25 Jan 2023 16:00:48 +0200
> Cc: 61051 <at> debbugs.gnu.org
> From: Dmitry Gutov <dgutov <at> yandex.ru>
> 
> >> -        "Enter the URL of the Git repository of the language grammar: ")
> >> +        "Enter the URL of the Git repository of the language grammar: "
> >> +        (format"https://github.com/tree-sitter/tree-sitter-%s"  lang))
> >>           (empty-string-to-nil
> >>            (read-string
> >>             "Enter the tag or branch (default: default branch): "))
> > Sounds good, but wouldn't we confuse users in those cases where the
> > Tree-sitter site doesn't have a grammar?  Would it be perhaps feasible
> > to probe first that a Git repository at the URL exists?
> 
> Sure, how about this:

LGTM, thanks.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.