I am behind the firewall that some packages I can not downloaded directory via brew command. So I would like to know what’s the download directory and filename format for the required resources.
For example, I got the download error when try to install ripgrep with linuxbrew:
curl: (22) The requested URL returned error: 403 Forbidden
Error: An exception occurred within a child process:
DownloadError: Failed to download resource “docbook–xml42”
Download failed: https://docbook.org/xml/4.2/docbook-xml-4.2.zip
When I got the docbook-xml-4.2.zip, where should I put it and what the name it should be to make sure the linuxbrew command can pick it up?