diff options
| author | Matthieu Coudron <mattator@gmail.com> | 2019-09-09 12:41:54 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-09 12:41:54 +0900 |
| commit | 59d65e23e1656344e3fc063e0e5dd3fbfe9a332f (patch) | |
| tree | b746bdd6e1f129d395152c92f7c8aba7de538593 /maintainers/scripts | |
| parent | e19054ab3cd5b7cc9a01d0efc71c8fe310541065 (diff) | |
| parent | 4a3189085a161dfc0a589bd8ae5cd0cc655843d0 (diff) | |
| download | nixpkgs-59d65e23e1656344e3fc063e0e5dd3fbfe9a332f.tar nixpkgs-59d65e23e1656344e3fc063e0e5dd3fbfe9a332f.tar.gz nixpkgs-59d65e23e1656344e3fc063e0e5dd3fbfe9a332f.tar.bz2 nixpkgs-59d65e23e1656344e3fc063e0e5dd3fbfe9a332f.tar.lz nixpkgs-59d65e23e1656344e3fc063e0e5dd3fbfe9a332f.tar.xz nixpkgs-59d65e23e1656344e3fc063e0e5dd3fbfe9a332f.tar.zst nixpkgs-59d65e23e1656344e3fc063e0e5dd3fbfe9a332f.zip | |
Merge pull request #68258 from teto/luarocks-nix_bump
Moved luarocks-nix to community and leverage luarocks mirrors when possible.
Diffstat (limited to 'maintainers/scripts')
| -rw-r--r-- | maintainers/scripts/luarocks-config.lua | 4 | ||||
| -rwxr-xr-x | maintainers/scripts/update-luarocks-packages | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/scripts/luarocks-config.lua b/maintainers/scripts/luarocks-config.lua new file mode 100644 index 00000000000..89e74c00ea8 --- /dev/null +++ b/maintainers/scripts/luarocks-config.lua @@ -0,0 +1,4 @@ +rocks_servers = { + "https://luarocks.org" +} +version_check_on_fail = false diff --git a/maintainers/scripts/update-luarocks-packages b/maintainers/scripts/update-luarocks-packages index a8d67d208e3..1a31d71086f 100755 --- a/maintainers/scripts/update-luarocks-packages +++ b/maintainers/scripts/update-luarocks-packages @@ -15,6 +15,7 @@ CSV_FILE="maintainers/scripts/luarocks-packages.csv" TMP_FILE="$(mktemp)" # Set in the update-luarocks-shell.nix NIXPKGS_PATH="$LUAROCKS_NIXPKGS_PATH" +export LUAROCKS_CONFIG="$NIXPKGS_PATH/maintainers/scripts/luarocks-config.lua" # 10 is a pretty arbitrary number of simultaneous jobs, but it is generally # impolite to hit a webserver with *too* many simultaneous connections :) |