From 923cf653ff11f32106e42962705ef512d53dddcc Mon Sep 17 00:00:00 2001
From: Rachel Lambda Samuelsson <depsterr@protonmail.com>
Date: Fri, 23 Aug 2024 22:07:47 +0200
Subject: [PATCH] agda bump

---
 flake.lock              | 59 ++++++++++++++++++++++++++---------------
 flake.nix               |  4 +--
 home-manager/plasma.nix |  8 +++++-
 pkgs/wall.nix           |  2 +-
 4 files changed, 47 insertions(+), 26 deletions(-)

diff --git a/flake.lock b/flake.lock
index 0d01edb..2c75e10 100644
--- a/flake.lock
+++ b/flake.lock
@@ -2,22 +2,22 @@
   "nodes": {
     "agda": {
       "inputs": {
-        "flake-utils": "flake-utils",
+        "flake-parts": "flake-parts",
         "nixpkgs": [
           "nixpkgs"
         ]
       },
       "locked": {
-        "lastModified": 1701366566,
-        "narHash": "sha256-B8Jmjld0gGbkVO08GsovVqrUXCs8VfJ8UdM3sjHnzgM=",
+        "lastModified": 1723809509,
+        "narHash": "sha256-aC0Vc/YV+rodv1qG839rqNFBqoqy/AkgvLdHxymCIu4=",
         "owner": "agda",
         "repo": "agda",
-        "rev": "4293e0a94d15acac915ab9088b2ec028f78d14a9",
+        "rev": "df1a26d96683ebb06aa8476e4af6bbeddf23efbe",
         "type": "github"
       },
       "original": {
         "owner": "agda",
-        "ref": "v2.6.4.1",
+        "ref": "v2.7.0",
         "repo": "agda",
         "type": "github"
       }
@@ -25,7 +25,7 @@
     "cornelis": {
       "inputs": {
         "flake-compat": "flake-compat",
-        "flake-utils": "flake-utils_2",
+        "flake-utils": "flake-utils",
         "nixpkgs": [
           "nixpkgs"
         ]
@@ -60,22 +60,25 @@
         "type": "github"
       }
     },
-    "flake-utils": {
+    "flake-parts": {
+      "inputs": {
+        "nixpkgs-lib": "nixpkgs-lib"
+      },
       "locked": {
-        "lastModified": 1678901627,
-        "narHash": "sha256-U02riOqrKKzwjsxc/400XnElV+UtPUQWpANPlyazjH0=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "93a2b84fc4b70d9e089d029deacc3583435c2ed6",
+        "lastModified": 1722555600,
+        "narHash": "sha256-XOQkdLafnb/p9ij77byFQjDf5m5QYl9b2REiVClC+x4=",
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "rev": "8471fe90ad337a8074e957b69ca4d0089218391d",
         "type": "github"
       },
       "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
         "type": "github"
       }
     },
-    "flake-utils_2": {
+    "flake-utils": {
       "inputs": {
         "systems": "systems"
       },
@@ -93,7 +96,7 @@
         "type": "github"
       }
     },
-    "flake-utils_3": {
+    "flake-utils_2": {
       "inputs": {
         "systems": "systems_2"
       },
@@ -111,7 +114,7 @@
         "type": "github"
       }
     },
-    "flake-utils_4": {
+    "flake-utils_3": {
       "locked": {
         "lastModified": 1678901627,
         "narHash": "sha256-U02riOqrKKzwjsxc/400XnElV+UtPUQWpANPlyazjH0=",
@@ -163,6 +166,18 @@
         "type": "github"
       }
     },
+    "nixpkgs-lib": {
+      "locked": {
+        "lastModified": 1722555339,
+        "narHash": "sha256-uFf2QeW7eAHlYXuDktm9c25OxOyCoUOQmh5SZ9amE5Q=",
+        "type": "tarball",
+        "url": "https://github.com/NixOS/nixpkgs/archive/a5d394176e64ab29c852d03346c1fc9b0b7d33eb.tar.gz"
+      },
+      "original": {
+        "type": "tarball",
+        "url": "https://github.com/NixOS/nixpkgs/archive/a5d394176e64ab29c852d03346c1fc9b0b7d33eb.tar.gz"
+      }
+    },
     "nixpkgs-unstable": {
       "locked": {
         "lastModified": 1719075281,
@@ -181,7 +196,7 @@
     },
     "nixprof": {
       "inputs": {
-        "flake-utils": "flake-utils_4",
+        "flake-utils": "flake-utils_3",
         "nixpkgs": [
           "nixpkgs-unstable"
         ]
@@ -210,11 +225,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1721724566,
-        "narHash": "sha256-6H+OTxXkOrh3P+15bhkQJY7OaBrQVzx4Pz+pCn6rtIg=",
+        "lastModified": 1724364293,
+        "narHash": "sha256-R/Jsd29RtrPoxr+NivHWIi+Zm63+G/1R539KtSQSycw=",
         "owner": "nix-community",
         "repo": "plasma-manager",
-        "rev": "b967e042896de0f64513d4596e3d1f3eae445d1c",
+        "rev": "0b7f9b5eed2d221db4b6ed4dade0b4e9f50dfd6f",
         "type": "github"
       },
       "original": {
@@ -228,7 +243,7 @@
       "inputs": {
         "agda": "agda",
         "cornelis": "cornelis",
-        "flake-utils": "flake-utils_3",
+        "flake-utils": "flake-utils_2",
         "home-manager": "home-manager",
         "nixpkgs": "nixpkgs",
         "nixpkgs-unstable": "nixpkgs-unstable",
diff --git a/flake.nix b/flake.nix
index 97aa73a..6653171 100644
--- a/flake.nix
+++ b/flake.nix
@@ -11,7 +11,7 @@
       inputs.nixpkgs.follows = "nixpkgs";
     };
     agda = {
-      url = "github:agda/agda/v2.6.4.1";
+      url = "github:agda/agda/v2.7.0";
       inputs.nixpkgs.follows = "nixpkgs";
     };
     cornelis = {
@@ -56,7 +56,7 @@
                   config.allowUnfree = true;
                 };
                 extra = {
-                  agda = agda.packages.${system}.Agda;
+                  agda = agda.packages.${system}.default;
                   cornelis = cornelis.packages.${system}.cornelis;
                   cornelis-vim = cornelis.packages.${system}.cornelis-vim;
                   slippi-netplay = ssbm-nix.packages.${system}.slippi-netplay;
diff --git a/home-manager/plasma.nix b/home-manager/plasma.nix
index 8c4cc19..1b49529 100644
--- a/home-manager/plasma.nix
+++ b/home-manager/plasma.nix
@@ -10,7 +10,7 @@
     };
 
     kscreenlocker = {
-      wallpaper = "${extra.wall}";
+      appearance.wallpaper = "${extra.wall}";
     };
 
     hotkeys.commands."launch-alacritty" = {
@@ -32,6 +32,12 @@
       };
     };
 
+    powerdevil = {
+      AC.whenLaptopLidClosed = "hibernate";
+      battery.whenLaptopLidClosed = "hibernate";
+      lowBattery.whenLaptopLidClosed = "hibernate";
+    };
+
     panels = [
       {
         location = "bottom";
diff --git a/pkgs/wall.nix b/pkgs/wall.nix
index 41f6cdc..33834a0 100644
--- a/pkgs/wall.nix
+++ b/pkgs/wall.nix
@@ -1,6 +1,6 @@
 { pkgs, ... }:
 pkgs.stdenv.mkDerivation {
-  name = "wallpaper";
+  name = "wallpaper.jpg";
   src = ./..;
   phases = [ "installPhase" ];
   installPhase = ''