|
72 | 72 | hash = "sha256-9E9qa+rdFsyUcE1N2QiMeOeG0NpDuqu5SaeabbcScaI="; |
73 | 73 | }; |
74 | 74 | skilloptSleepPlugin = ../../../packages/pi-packages/omp-skillopt-sleep; |
75 | | - skilloptSleepSource = pkgs.fetchFromGitHub { |
| 75 | + skilloptSleepUpstream = pkgs.fetchFromGitHub { |
76 | 76 | owner = "microsoft"; |
77 | 77 | repo = "SkillOpt"; |
78 | 78 | rev = "e4ea6a6771e797ef820cdd8bfea64c57e0481065"; |
79 | 79 | hash = "sha256-WVvnOO5B0pUvqmp1GNz3KpFoMkm8z/MPKevZz0jMleQ="; |
80 | 80 | }; |
| 81 | + skilloptSleepSource = pkgs.runCommand "skillopt-sleep-source-omp-staging" { } '' |
| 82 | + cp -R ${skilloptSleepUpstream} "$out" |
| 83 | + chmod -R u+w "$out" |
| 84 | + substituteInPlace "$out/skillopt_sleep/staging.py" \ |
| 85 | + --replace-fail \ |
| 86 | + 'return os.path.join(project, ".skillopt-sleep", "staging")' \ |
| 87 | + 'return os.environ.get("SKILLOPT_SLEEP_STAGING_ROOT") or os.path.join(project, ".skillopt-sleep", "staging")' |
| 88 | + ''; |
81 | 89 | ompPackage = pkgs.stdenvNoCC.mkDerivation { |
82 | 90 | name = "${cfg.package.pname or "omp"}-isolated"; |
83 | 91 | dontUnpack = true; |
|
98 | 106 | --set PI_CONFIG_DIR ${lib.escapeShellArg ompConfigDir} \ |
99 | 107 | --set PI_CODING_AGENT_DIR ${lib.escapeShellArg ompAgentDir} \ |
100 | 108 | --set PONYTAIL_DEFAULT_MODE full \ |
| 109 | + --set SKILLOPT_SLEEP_REPO ${lib.escapeShellArg "${skilloptSleepSource}"} \ |
| 110 | + --set SKILLOPT_SLEEP_STAGING_ROOT ${lib.escapeShellArg "${config.user.home}/.skillopt-sleep/omp/staging"} \ |
101 | 111 | --set PI_PERMISSION_SYSTEM_CONFIG_PATH ${lib.escapeShellArg "${ompAgentDir}/extensions/pi-permission-system/config.json"}${ |
102 | 112 | lib.optionalString ( |
103 | 113 | cfg.smolModel != null |
|
124 | 134 |
|
125 | 135 | export HOME=${lib.escapeShellArg config.user.home} |
126 | 136 | export SKILLOPT_SLEEP_REPO=${lib.escapeShellArg "${skilloptSleepSource}"} |
| 137 | + export SKILLOPT_SLEEP_STAGING_ROOT=${lib.escapeShellArg "${config.user.home}/.skillopt-sleep/omp/staging"} |
127 | 138 |
|
128 | 139 | cd ${lib.escapeShellArg "${config.user.home}/.config/dotfiles"} |
129 | 140 | ${pkgs.python3}/bin/python3 ${lib.escapeShellArg "${skilloptSleepPlugin}/scripts/skillopt-sleep-omp.py"} ${lib.escapeShellArgs skilloptSleepArgs} |
|
569 | 580 | HOME = config.user.home; |
570 | 581 | PATH = "/etc/profiles/per-user/${config.user.name}/bin:/run/current-system/sw/bin:/opt/homebrew/bin:/usr/bin:/bin:/usr/sbin:/sbin"; |
571 | 582 | SKILLOPT_SLEEP_REPO = "${skilloptSleepSource}"; |
| 583 | + SKILLOPT_SLEEP_STAGING_ROOT = "${config.user.home}/.skillopt-sleep/omp/staging"; |
572 | 584 | }; |
573 | 585 | }; |
574 | 586 | }; |
|
0 commit comments