|
From: | Dmitry Gutov |
Subject: | bug#61051: treesit-install-language-grammar can provide the default repository URL |
Date: | Wed, 25 Jan 2023 17:23:31 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.4.2 |
On 25/01/2023 16:50, Eli Zaretskii wrote:
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.
Installed, thank you.
[Prev in Thread] | Current Thread | [Next in Thread] |