diff options
author | zimbatm <zimbatm@zimbatm.com> | 2023-07-22 13:36:29 +0200 |
---|---|---|
committer | zimbatm <zimbatm@zimbatm.com> | 2023-07-22 13:36:31 +0200 |
commit | c04c43ccd1f7b789ffc3363d9c46fb98e79afd41 (patch) | |
tree | 24ed3052110c126fd51c1577c48cbcb9f791f499 /pkgs/build-support | |
parent | 4fe0dfd1ea244116d4b08b7e67fd61e718bf1ccf (diff) |
writers: fix fsharp writer
dotnet needs a writable $HOME to operate
Diffstat (limited to 'pkgs/build-support')
-rw-r--r-- | pkgs/build-support/writers/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/build-support/writers/default.nix b/pkgs/build-support/writers/default.nix index 3016a45b8a0f1..faac553dee3f0 100644 --- a/pkgs/build-support/writers/default.nix +++ b/pkgs/build-support/writers/default.nix @@ -340,6 +340,7 @@ let }; fsi = writeBash "fsi" '' + export HOME=$NIX_BUILD_TOP/.home export DOTNET_SKIP_FIRST_TIME_EXPERIENCE=1 export DOTNET_CLI_TELEMETRY_OPTOUT=1 export DOTNET_NOLOGO=1 |