[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61051: treesit-install-language-grammar can provide the default repo
From: |
Eli Zaretskii |
Subject: |
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@debbugs.gnu.org
> From: Dmitry Gutov <dgutov@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.