fix README (Deducteam#1053)

fblanqui · Feb 22, 2024 · 9597727 · 9597727
1 parent 4888196
commit 9597727
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: