about summary refs log tree commit diff
path: root/modules
diff options
context:
space:
mode:
authordevhell <devhell@mailfresser.de>2020-04-23 14:59:09 +0100
committerdevhell <devhell@mailfresser.de>2020-04-23 14:59:09 +0100
commit31c2132ee7050524bcc2b3f42cc54f5a0c341b8d (patch)
tree5dcd30917ead8a27bef88a3279a82e6e3237c73a /modules
parent88add6bd1d8707c6fbf7c7d438f98d33bc92048d (diff)
treewide: Remove hardware.opengl.s3tcSupport
This option has been dropped upstream in
4732f59226a21b01d630c7ef4fb884bbfbe7dc83

Cc: @aszlig
Diffstat (limited to 'modules')
-rw-r--r--modules/user/aszlig/profiles/managed.nix1
-rw-r--r--modules/user/aszlig/profiles/workstation/default.nix1
-rw-r--r--modules/user/devhell/profiles/base.nix1
3 files changed, 0 insertions, 3 deletions
diff --git a/modules/user/aszlig/profiles/managed.nix b/modules/user/aszlig/profiles/managed.nix
index 92566e04..8f99e38a 100644
--- a/modules/user/aszlig/profiles/managed.nix
+++ b/modules/user/aszlig/profiles/managed.nix
@@ -80,7 +80,6 @@ in {
       unfreeAndNonDistributablePkgs.hplipWithPlugin
     ];
 
-    hardware.opengl.s3tcSupport = true;
     hardware.opengl.driSupport32Bit = true;
     hardware.pulseaudio.enable = true;
     hardware.pulseaudio.package = pkgs.pulseaudioFull;
diff --git a/modules/user/aszlig/profiles/workstation/default.nix b/modules/user/aszlig/profiles/workstation/default.nix
index 4e4ea876..bbbbf919 100644
--- a/modules/user/aszlig/profiles/workstation/default.nix
+++ b/modules/user/aszlig/profiles/workstation/default.nix
@@ -46,7 +46,6 @@ in {
       pulseaudio.package = pkgs.pulseaudioFull;
       opengl = {
         driSupport32Bit = true;
-        s3tcSupport = true;
       };
     };
 
diff --git a/modules/user/devhell/profiles/base.nix b/modules/user/devhell/profiles/base.nix
index e0d733bf..2f09a689 100644
--- a/modules/user/devhell/profiles/base.nix
+++ b/modules/user/devhell/profiles/base.nix
@@ -36,7 +36,6 @@ in {
       nitrokey.enable = true;
       u2f.enable = true;
       opengl = {
-        s3tcSupport = true;
         driSupport32Bit = true;
       };
       pulseaudio = {