From 9597727c7bc284e4d6e2872daf989b6ebd88c5d9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= Date: Thu, 22 Feb 2024 12:22:55 +0100 Subject: [PATCH] fix README (#1053) --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 4204a7dbb..38f75ecee 100644 --- a/README.md +++ b/README.md @@ -75,7 +75,7 @@ following line that can be automatically added when you do `opam init`: ```bash -test -r /home/blanqui/.opam/opam-init/init.sh && . /home/blanqui/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true +test -r ~/.opam/opam-init/init.sh && . ~/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true ``` To update your path, you can also do: