TabNine: provision registration key from private repository

2 files changed, 10 insertions, 0 deletions

diff --git a/private b/private
-Subproject 435afe7795218fe9487f516f97c1f10e964882f
+Subproject 25b2dfd3df605a649e717b9f3b8124f6e3e74c0
diff --git a/user/modules/tabnine.nix b/user/modules/tabnine.nix
index c2b9a746..1eef84ae 100644
--- a/user/modules/tabnine.nix
+++ b/user/modules/tabnine.nix
@@ -41,6 +41,13 @@ in
       '';
     };
 
+    registrationKey = mkOption {
+      type = types.str;
+      description = ''
+        Registration key for TabNine.  For one-time-purchase users, this should be the e-mail address and base-64-encoded key joined together without spacing.
+      '';
+    };
+
     lspConfig = mkOption {
       type = types.attrs;
       default = {};
@@ -59,5 +66,8 @@ in
     home.file."${cfg.configDir}/tabnine_config.json" = {
       source = pkgs.writeText "tabnine_config.json" (builtins.toJSON cfg.config);
     };
+    home.file."${cfg.configDir}/registration_key" = {
+      text = cfg.registrationKey;
+    };
   };
 }