workbench: get rid of the profileOverrides

IntersectMBO · Jun 27, 2022 · faaf9f4 · faaf9f4
1 parent f269c2b
commit faaf9f4
Showing 1 changed file with 2 additions and 13 deletions.
diff --git a/nix/workbench/profiles/default.nix b/nix/workbench/profiles/default.nix
@@ -5,22 +5,11 @@
 , backend
 
 , profileName
-, profileOverride ? {}
 }:
 
 let
-  baseJSON = runWorkbenchJqOnly "profile-${profileName}.json"
-    "profile json ${profileName}";
-  JSON =
-    if profileOverride == {}
-    then baseJSON
-    else
-      runJq "profile-${profileName}-overridden.json"
-      ''--slurpfile profile  ${baseJSON}
-        --slurpfile override ${writeText "profile-override.json" profileOverride}
-        --null-input
-      ''
-      "($profile[0] * $override[0])";
+  JSON = runWorkbenchJqOnly "profile-${profileName}.json"
+                            "profile json ${profileName}";
 
   value = __fromJSON (__readFile JSON);