Hello! I can't remember how to change the local repo prefix from userland to openindiana.org My goal is to build illumos-gate and install the packages to test a patch for bug #15128 I've done that myself several years ago but it seems i can't find the information :-/ Any hints are welcome :-) Stephan