[dev] Use "ping" in redis-cli, which is compatible with newer versions (#20989)

* [dev] Use "-ping" in redis-cli, which is compatible with newer versions

* Fix ping invocation

Co-authored-by: iQQBot <[email protected]>

---------

Co-authored-by: iQQBot <[email protected]>

Author: geropl

components/server/package.json

@@ -26,7 +26,7 @@
     "start-testdb": "leeway run components/gitpod-db:init-testdb",
     "start-spicedb": "leeway run components/spicedb:start-spicedb",
     "stop-spicedb": "leeway run components/spicedb:stop-spicedb",
-    "start-redis": "if redis-cli -h ${REDIS_HOST:-0.0.0.0} -e ping; then echo 'Redis is already running.'; else docker run --rm --name test-redis -p 6379:6379 -d redis; fi",
+    "start-redis": "if redis-cli -h ${REDIS_HOST:-0.0.0.0} ping; then echo 'Redis is already running.'; else docker run --rm --name test-redis -p 6379:6379 -d redis; fi",
     "stop-redis": "docker stop test-redis || true",
     "telepresence": "telepresence --swap-deployment server --method inject-tcp --run yarn start-inspect"
   },