From a526c674b7a82c847ed689055c240624d5ab4cad Mon Sep 17 00:00:00 2001
From: Jeffrey Phillips Freeman <the@jeffreyfreeman.me>
Date: Wed, 22 Nov 2023 09:53:21 -0500
Subject: [PATCH] Added protege
---
config/common.nix | 14 ++++++++++++++
pkgs/dev/default.nix | 1 +
pkgs/dev/protege/config.nix | 4 ++++
pkgs/dev/protege/default.nix | 10 ++++++++++
4 files changed, 29 insertions(+)
create mode 100644 pkgs/dev/protege/config.nix
create mode 100644 pkgs/dev/protege/default.nix
diff --git a/config/common.nix b/config/common.nix
index 67b8d43..243d1a4 100644
--- a/config/common.nix
+++ b/config/common.nix
@@ -1334,6 +1334,20 @@
};
};
};
+ protege = lib.mkOption {
+ type = lib.types.submodule {
+ options = {
+ enabled = lib.mkOption {
+ type = lib.types.bool;
+ default = false;
+ example = true;
+ description = ''
+ Whether or not protege has been installed.
+ '';
+ };
+ };
+ };
+ };
nikola = lib.mkOption {
type = lib.types.submodule {
options = {
diff --git a/pkgs/dev/default.nix b/pkgs/dev/default.nix
index 399a61e..6f92695 100644
--- a/pkgs/dev/default.nix
+++ b/pkgs/dev/default.nix
@@ -16,5 +16,6 @@
./vercel
./qmk
./qflipper
+ ./protege
];
}
diff --git a/pkgs/dev/protege/config.nix b/pkgs/dev/protege/config.nix
new file mode 100644
index 0000000..c18213b
--- /dev/null
+++ b/pkgs/dev/protege/config.nix
@@ -0,0 +1,4 @@
+{ config, ... }:
+{
+ config.provides.dev.protege.enabled = true;
+}
diff --git a/pkgs/dev/protege/default.nix b/pkgs/dev/protege/default.nix
new file mode 100644
index 0000000..da1f42b
--- /dev/null
+++ b/pkgs/dev/protege/default.nix
@@ -0,0 +1,10 @@
+{ pkgs, ... }: {
+ imports = [
+ ../common.nix
+ ./config.nix
+ ];
+
+ environment.systemPackages = with pkgs; [
+ protege-distribution
+ ];
+}
--
GitLab