From d59618d860dfa518eb9d6f99e7734f0748c83ca4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 14 Jun 2019 14:53:11 +0200 Subject: [PATCH] Hide installation from master for now. --- gitlab-pages/docs/setup/installation.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/gitlab-pages/docs/setup/installation.md b/gitlab-pages/docs/setup/installation.md index 2455d3bd7..66cef54bb 100644 --- a/gitlab-pages/docs/setup/installation.md +++ b/gitlab-pages/docs/setup/installation.md @@ -9,7 +9,7 @@ There are currently two ways to get started with Ligo, both of those will allow > 🐳 You can find instructions on how to install Docker [here](https://docs.docker.com/install/). -Easiest way to use LIGO is through the Docker image available at [Docker Hub](https://hub.docker.com/r/ligolang/ligo). Sources for the image can be found on [Gitlab](https://gitlab.com/ligolang/ligo/blob/master/docker/Dockerfile). +Easiest way to use LIGO is through the Docker image available at [Docker Hub](https://hub.docker.com/r/ligolang/ligo). Sources for the image can be found on [Gitlab](https://gitlab.com/ligolang/ligo/blob/dev/docker/Dockerfile). You can either run the docker image yourself, or you can setup a global ligo executable as shown below. ### Setting up a globally available `ligo` executable @@ -19,10 +19,13 @@ You can either run the docker image yourself, or you can setup a global ligo exe ```zsh # next (pre-release) curl https://gitlab.com/ligolang/ligo/raw/dev/scripts/installer.sh | bash -s "next" - +``` + **Verify your ligo installation by running:** ```zsh