diff options
author | Matthieu Coudron <mattator@gmail.com> | 2019-06-04 18:43:28 +0900 |
---|---|---|
committer | Matthieu Coudron <mattator@gmail.com> | 2019-06-04 18:57:42 +0900 |
commit | e96712105379c375e0fc4c33d5c7340d71a695fd (patch) | |
tree | b802b387e4e7fdb2f2d74e513e514a801ba815cf /maintainers/scripts/update-luarocks-packages | |
parent | cf45c7857ad71363eede99c245e97f7204a8d519 (diff) |
update-luarocks: contact only the specified server
use --server-only instead of --server, I haven't run any testing but it
should be a bit faster as well as more deterministic.
Diffstat (limited to 'maintainers/scripts/update-luarocks-packages')
-rwxr-xr-x | maintainers/scripts/update-luarocks-packages | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintainers/scripts/update-luarocks-packages b/maintainers/scripts/update-luarocks-packages index f4b8eeac3d89..8f00a5a2f9c4 100755 --- a/maintainers/scripts/update-luarocks-packages +++ b/maintainers/scripts/update-luarocks-packages @@ -78,6 +78,7 @@ function convert_pkg () { lua_pkg_name="$2" server="${3:+--server=$3}" version="${4:-}" + server="${3:+--only-server=$3}" echo "looking at $lua_pkg_name (version $version) from server [$server]" >&2 cmd="luarocks nix $server $lua_pkg_name $version" |