You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For the moment, to require or disable checksum checks there is 2 ways: options --require-checksum and --no-checksum, and their respective environment variable OPAMREQUIRECHECKSUMS and OPAMNOCHECKSUMS.
For permanent configuration, it is better to have a field in global config that can be modified via opam option instead of environment variable.
The text was updated successfully, but these errors were encountered:
For the moment, to require or disable checksum checks there is 2 ways: options
--require-checksum
and--no-checksum
, and their respective environment variableOPAMREQUIRECHECKSUMS
andOPAMNOCHECKSUMS
.For permanent configuration, it is better to have a field in global config that can be modified via
opam option
instead of environment variable.The text was updated successfully, but these errors were encountered: