Skip to content

Commit

Permalink
run opam init for a fresh install
Browse files Browse the repository at this point in the history
  • Loading branch information
sabine committed Apr 3, 2023
1 parent 950f614 commit 5766129
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions shell/install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -472,6 +472,9 @@ echo "## opam $VERSION installed to $BINDIR"
if [ ! "$FRESH" = 1 ]; then
echo "## Converting the opam root format & updating"
"$BINDIR/opam" init --reinit -ni
else
echo "## Running opam init for this fresh install"
"$BINDIR/opam" init </dev/tty
fi

WHICH=$(command -v opam || echo notfound)
Expand Down

0 comments on commit 5766129

Please sign in to comment.