diff options
-rw-r--r-- | site/docs/user-manual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html index bebcd383c9..202cf63734 100644 --- a/site/docs/user-manual.html +++ b/site/docs/user-manual.html @@ -868,7 +868,7 @@ $ bazel fetch //... </p> <p> - On some platforms such as <a href="https://cloud.google.com/container-engine/">Google Container + On some platforms such as <a href="https://cloud.google.com/kubernetes-engine/">Google Kubernetes Engine</a> cluster nodes or Debian, user namespaces are deactivated by default due to security concerns. This can be checked by looking at the file <code>/proc/sys/kernel/unprivileged_userns_clone</code>: if it exists and contains a 0, then |