Skip to content

Instantly share code, notes, and snippets.

@dardo82

dardo82/install-opam.sh

Last active March 21, 2019 12:52
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save dardo82/203800247617cd404519d24432159d36 to your computer and use it in GitHub Desktop.
Save dardo82/203800247617cd404519d24432159d36 to your computer and use it in GitHub Desktop.
Download ZIP
Install OPAM
Raw
install-opam.sh
#!/bin/sh
OPAMROOT="${1-/usr/local/opam}"; SH="${SHELL-/bin/sh}"; SC="$HOME/.${SH//*\/}rc"
echo "\n# Set OPAM root dir.\nexport OPAMROOT=\"$OPAMROOT\"\n\n# Set OPAM PATHs.\nexport PATH=\"" \$OPAMROOT/default/{,s}bin: \$PATH\" | sed "s/ \\$/$/g" >> $SC
sudo sh -c "port install opam;mkdir -v $OPAMROOT;chown -v $USER:admin $OPAMROOT"
opam init --auto-setup --root=$OPAMROOT
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment