diff --git a/arch.sh b/arch.sh index e89e5b9..01f3817 100644 --- a/arch.sh +++ b/arch.sh @@ -353,6 +353,15 @@ then # Add PIP packages from Python to the path fish_add_path /home/anri/.local/bin + # === OCaml == + # Init Opam + echo | opam init + yes | opam init + # Install devtools + opam install ocaml-lsp-server --yes + opam install ocamlformat --yes + opam install ocamlformat-rpc --yes + echo -e "\nInstallation terminée.\nIl faut redémarrer l'ordinateur." else echo "Ce script ne fonctionne que sur Arch." diff --git a/archinstall/user_configuration.json b/archinstall/user_configuration.json index c9f88ff..d8609ee 100644 --- a/archinstall/user_configuration.json +++ b/archinstall/user_configuration.json @@ -106,7 +106,8 @@ "python-pip", "bluez-utils", "vlc", - "discord" + "discord", + "opam" ], "plugin": null, "profile": {