Merge pull request #140335 from teto/redis-mainProgram

redis: set mainProgram to redis-cli
2021-10-03 06:38:33 +01:00
parent 0f5218878c 89032313ca
commit 2e26820a03
1 changed files with 1 additions and 0 deletions
@@ -55,5 +55,6 @@ stdenv.mkDerivation rec {
    platforms = platforms.all;
    changelog = "https://github.com/redis/redis/raw/${version}/00-RELEASENOTES";
    maintainers = with maintainers; [ berdario globin marsam ];
+    mainProgram = "redis-cli";
  };
 }