From e96712105379c375e0fc4c33d5c7340d71a695fd Mon Sep 17 00:00:00 2001 From: Matthieu Coudron Date: Tue, 4 Jun 2019 18:43:28 +0900 Subject: [PATCH] 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. --- maintainers/scripts/update-luarocks-packages | 1 + 1 file changed, 1 insertion(+) diff --git a/maintainers/scripts/update-luarocks-packages b/maintainers/scripts/update-luarocks-packages index f4b8eeac3d8..8f00a5a2f9c 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"