1 files changed, 0 insertions, 21 deletions
diff --git a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md b/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md
deleted file mode 100644
index ccc88e4..0000000
--- a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md
+++ /dev/null
@@ -1,21 +0,0 @@
-## MODIFIED Requirements
-### Requirement: Desktop GUI applications are provisioned via the shared home profile
-The shared home-manager profile SHALL include Slack, Discord, Spotify, teams-for-linux, Firefox, the Bitwarden desktop client, and Ghostty as GUI application packages, available wherever that profile is activated and the underlying package supports the current system. GNOME Tweaks is provisioned per the separate requirement below, since its availability depends on GNOME being enabled rather than on platform support alone.
-#### Scenario: GUI app available after activation
- **WHEN** the shared home profile is activated on a system for which a given desktop application's package is supported
- **THEN** that application is available without any additional manual installation step
-## ADDED Requirements
-### Requirement: GNOME Tweaks is provisioned only where GNOME is enabled
-GNOME Tweaks 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.
-#### Scenario: Included on a NixOS host with GNOME enabled
- **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
- **THEN** GNOME Tweaks is included in the provisioned package set
-#### Scenario: Excluded on a standalone activation
- **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)
- **THEN** GNOME Tweaks is not included in the provisioned package set, regardless of the host's operating system

diff --git a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md b/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md deleted file mode 100644 index ccc88e4..0000000 --- a/openspec/changes/add-ghostty-gnome-tweaks-dark-mode/specs/desktop-applications/spec.md +++ /dev/null
@@ -1,21 +0,0 @@
1	## MODIFIED Requirements
2
3	### Requirement: Desktop GUI applications are provisioned via the shared home profile
4	The shared home-manager profile SHALL include Slack, Discord, Spotify, teams-for-linux, Firefox, the Bitwarden desktop client, and Ghostty as GUI application packages, available wherever that profile is activated and the underlying package supports the current system. GNOME Tweaks is provisioned per the separate requirement below, since its availability depends on GNOME being enabled rather than on platform support alone.
5
6	#### Scenario: GUI app available after activation
7	- WHEN the shared home profile is activated on a system for which a given desktop application's package is supported
8	- THEN that application is available without any additional manual installation step
9
10	## ADDED Requirements
11
12	### Requirement: GNOME Tweaks is provisioned only where GNOME is enabled
13	GNOME Tweaks 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.
14
15	#### Scenario: Included on a NixOS host with GNOME enabled
16	- 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
17	- THEN GNOME Tweaks is included in the provisioned package set
18
19	#### Scenario: Excluded on a standalone activation
20	- 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)
21	- THEN GNOME Tweaks is not included in the provisioned package set, regardless of the host's operating system