aboutsummaryrefslogtreecommitdiffstats
path: root/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md
diff options
context:
space:
mode:
authorGravatar Tom van der Lee <tom@vanderlee.com>2026-09-24 09:42:39 +0000
committerGravatar Tom van der Lee <tom@vanderlee.com>2026-09-24 09:42:39 +0000
commita86bc9249f33bfd5701c861383a543279a12c23b (patch)
tree4b913c367c326102b2f07dd1e09ea405e62b7d5b /openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md
parentc2d09c74ab14b3eb8770fb1027e8da1db2d00010 (diff)
downloaddesktop-flake-a86bc9249f33bfd5701c861383a543279a12c23b.tar.gz
desktop-flake-a86bc9249f33bfd5701c861383a543279a12c23b.tar.bz2
desktop-flake-a86bc9249f33bfd5701c861383a543279a12c23b.zip
Archive add-gnome-extension-manager, sync desktop-applications spec
Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01HngxrvqEzq8oBEBDtrYJyB
Diffstat (limited to 'openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md')
-rw-r--r--openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md12
1 files changed, 12 insertions, 0 deletions
diff --git a/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md
new file mode 100644
index 0000000..87a7043
--- /dev/null
+++ b/openspec/changes/archive/2026-09-24-add-gnome-extension-manager/specs/desktop-applications/spec.md
@@ -0,0 +1,12 @@
1## ADDED Requirements
2
3### Requirement: GNOME Extension Manager is provisioned only where GNOME is enabled
4GNOME Extension Manager SHALL be included in the provisioned package set only where the GNOME desktop is enabled (every NixOS host built from this flake's shared system module), and SHALL be excluded wherever GNOME is not known to be enabled, including standalone (non-NixOS) home-manager activations of the shared profile.
5
6#### Scenario: Included on a NixOS host with GNOME enabled
7- **WHEN** the shared home profile is activated as part of a NixOS host built from this flake's shared system module, where GNOME is enabled
8- **THEN** GNOME Extension Manager is included in the provisioned package set
9
10#### Scenario: Excluded on a standalone activation
11- **WHEN** the shared home profile is activated standalone, not as part of a NixOS system (for example via `home-manager switch` on a non-NixOS machine)
12- **THEN** GNOME Extension Manager is not included in the provisioned package set, regardless of the host's operating system