diff options
| author | Andreas Fuchs | 2020-11-25 19:00:01 -0500 |
|---|---|---|
| committer | notgne2 | 2020-12-02 10:24:23 -0700 |
| commit | 6ccc0b7ae981d8cd872af1eae69a2435aa87b8ef (patch) | |
| tree | 53fe082c914ec12a165e552e3934ad7309b7f3a6 | |
| parent | fa4c0a86cd608f5e98b50e8eb4b03db04a7726ce (diff) | |
Write an "activate-rs" script into the profile path
This should point to the correct path if the target platform differs
fro the deploying platform.
| -rw-r--r-- | flake.nix | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -69,6 +69,15 @@ executable = true; destination = "/deploy-rs-activate"; }) + (pkgs.writeTextFile { + name = base.name + "-activate-rs"; + text = '' + #!${pkgs.runtimeShell} + exec ${self.defaultPackage."${system}"}/bin/activate "$@" + ''; + executable = true; + destination = "/activate-rs"; + }) ]; }; |
