UnixJunkie/nfsopam
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
wrapper shell script to run opam faster when your $HOME is served via NFS
13 commits 1 branch 0 tags 33 KiB
  • Shell 100%
Find a file
Exact
Francois Berenger e74d62a905 I don't think the --root / --root= option was working 
let's just support users who use the OPAMROOT env. var.
2019-11-15 12:11:57 +09:00
nfsopam.sh I don't think the --root / --root= option was working 2019-11-15 12:11:57 +09:00
README.md typo 2019-11-15 10:36:28 +09:00

README.md

nfsopam

wrapper shell script to run opam faster when your $HOME is served via NFS

Make opam run faster even if your $HOME is on top of NFS by using /tmp (i.e. the local disk) for most operations. The opam root (~/.opam by default) is first rsynced to the local disk, then synchronized back to its original location once opam has finished.