From 108d64914f97a1f379e30e585abe94ce11b067ea Mon Sep 17 00:00:00 2001
From: daniel_hsiao <daniel13520cs@gmail.com>
Date: Thu, 15 Jul 2021 14:32:06 +0800
Subject: [PATCH] fix installation guide

---
 docs/getting_started/install.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/getting_started/install.md b/docs/getting_started/install.md
index 95dce1d17..78f7915ae 100644
--- a/docs/getting_started/install.md
+++ b/docs/getting_started/install.md
@@ -711,7 +711,7 @@ This will use a Docker image that will isolate mediapipe's installation from the
     ```bash
     $ docker run -it --name mediapipe mediapipe:latest
 
-    root@bca08b91ff63:/mediapipe# GLOG_logtostderr=1 bazel run --define MEDIAPIPE_DISABLE_GPU=1 mediapipe/examples/desktop/hello_world:hello_world
+    root@bca08b91ff63:/mediapipe# GLOG_logtostderr=1 bazelisk run --define MEDIAPIPE_DISABLE_GPU=1 mediapipe/examples/desktop/hello_world:hello_world
 
     # Should print:
     # Hello World!