Code

Opamroot redirect#22

Code

Closed

dra27 wants to merge 5 commits intomasterdra27/opam:masterfrom opamroot-redirectdra27/opam:opamroot-redirectCopy head branch name to clipboard

+286-86

Commits

Commits on Jun 10, 2024

• path: add redirected

  Show description for 51b62da
  

  rjbou

  authored and

  dra27

  committed
  51b62da

  Copy full SHA for 51b62da

• stateConfig: add original_root_dir to store non redirected root dir

  

  rjbou

  authored and

  dra27

  committed
  b38e02b

  Copy full SHA for b38e02b

• Add provenance of opam root, as for current switch

  dra27

  committed
  26f6e78

  Copy full SHA for 26f6e78

• Redirect opam on Windows if path contains a space.

  Show description for 839acdb
  

  rjbou

  and

  dra27

  committed
  839acdb

  Copy full SHA for 839acdb

• Test update

  dra27

  committed
  439840a

  Copy full SHA for 439840a