From a9c9b125e782806c296f0a6b315991e7b0df7578 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Mon, 15 May 2023 17:09:32 +0200 Subject: [PATCH] oops, fix command --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5af02bb..fd47baf 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@ $ opam switch list ### Install dependencies ```sh -dune describe external-lib-deps | awk '/external_deps/{flag=1;next}/))/{flag=0}flag' | tr -d '()' | tr -s '\n' ' ' | sed 's/required//g' | xargs opam install -y +dune describe external-lib-deps | sed -n '/external_deps/,/))/p' | sed -e 's/[()]//g' -e 's/required//g' -e '/external_deps/d' | xargs -n1 opam install -y ``` ## Name history