Advertisement
Guest User

Untitled

a guest
Mar 8th, 2022
37
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.06 KB | None | 0 0
  1. crab@crab:~/dev/todolist$ opam init
  2.  
  3. <><> Required setup - please read <><><><><><><><><><><><><><><><><><><><><><><>
  4.  
  5. In normal operation, opam only alters files within ~/.opam.
  6.  
  7. However, to best integrate with your system, some environment variables
  8. should be set. If you allow it to, this initialisation step will update
  9. your bash configuration by adding the following line to ~/.profile:
  10.  
  11. test -r /home/crab/.opam/opam-init/init.sh && . /home/crab/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true
  12.  
  13. Otherwise, every time you want to access your opam installation, you will
  14. need to run:
  15.  
  16. eval $(opam env)
  17.  
  18. You can always re-run this setup with 'opam init' later.
  19.  
  20. Do you want opam to modify ~/.profile? [N/y/f]
  21. (default is 'no', use 'f' to choose a different file) y
  22. A hook can be added to opam's init scripts to ensure that the shell remains in sync with the opam environment when they are loaded. Set that up? [y/N] n
  23.  
  24. User configuration:
  25. Updating ~/.profile.
  26. [NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement