eyezoom change

New collaborators:

	EDAD6D71 depsterr@protonmail.com

.git-crypt/.gitattributes

@@ -0,0 +1,4 @@
+# Do not edit this file.  To specify the files to encrypt, create your own
+# .gitattributes file in the directory where your files are.
+* !filter !diff
+*.gpg binary

.gitattributes

@@ -0,0 +1,2 @@
+secrets/** filter=git-crypt diff=git-crypt
+.gitattributes !filter !diff

cafe/gitea.nix

@@ -1,28 +0,0 @@
-{ config, pkgs, ... }:
-{
-
-  services.gitea = {
-    enable = true;
-    appName = "My awesome Gitea server"; # Give the site a name
-    database = {
-      type = "sqlite3";
-    };
-    settings.server = {
-      DOMAIN = "localhost";
-      ROOT_URL = "http://localhost/";
-      HTTP_PORT = 3001;
-    };
-  };
-
-  # [CONTAINER]
-  boot.isContainer = true;
-  
-  # [NETWORK]
-  networking.hostName = "gitea";
-  networking.useDHCP = false;
-  networking.firewall.enable = true;
-  networking.firewall.allowedTCPPorts = [ 3001 ];
-  networking.firewall.allowedUDPPorts = [ ];
-
-  system.stateVersion = "23.11";
-}

cafe/host.nix

@@ -1,32 +0,0 @@
-{ pkgs, ... }:
-let gitea = {
-      host = "10.10.0.1";
-      local = "10.10.0.2";
-    };
-in
-{
-  # [CONTAINERS]
-  containers.gitea = {
-    autoStart = true;
-    ephemeral = true;
-    privateNetwork = true;
-    hostAddress  = gitea.host;
-    localAddress = gitea.local;
-    config = ./gitea.nix;
-  };
-
-  # [NGINX]
-  services.nginx = {
-    enable = true;
-    recommendedProxySettings = true;
-    virtualHosts = {
-      "localhost" = {
-        locations."/".proxyPass = "http://${gitea.local}:3001";
-      };
-    };
-  };
-
-  # [NETWORK]
-  # networking.firewall.allowedTCPPorts = [ 80 ];
-  # networking.firewall.allowedUDPPorts = [ ];
-}

computational/configuration.nix

@@ -1,52 +0,0 @@
-{ config, pkgs, ... }:
-{
-  # [HARDWARE]
-  imports =
-    [ # Include the results of the hardware scan.
-      ./hardware-configuration.nix
-    ];
-  hardware.opengl = {
-    enable = true;
-    driSupport = true;
-    driSupport32Bit = true;
-  };
-
-  # [BOOT]
-  boot.loader.systemd-boot.enable = true;
-  boot.loader.efi.canTouchEfiVariables = true;
-  boot.swraid.enable = true;
-  boot.swraid.mdadmConf = ''
-    ARRAY /dev/md/deppyPC:0 level=raid0 num-devices=2 metadata=1.2 name=deppyPC:0 UUID=ba6fef6e:972796a3:a331c87a:2d973f91
-      devices=/dev/sda1,/dev/sdb1
-  '';
-
-  # [AUDIO]
-  environment.etc."pipewire/media-session.d/alsa-monitor.con".text = ''
-    enabled = true
-
-    rules = {
-      {
-        matches = [
-          {
-            node.name = "alsa_output.usb-SMSL_SMSL_USB_AUDIO-00.analog-stereo"
-          }
-        ]
-     
-        actions = {
-          update-props = {
-            audio.format = "S32_LE"
-          }
-        }
-      },
-    }
-  '';
-
-  environment.etc."pipewire/pipewire.conf".text = builtins.readFile ./pipewire.conf;
-  
-
-  # [NETWORKING]
-  networking.hostName = "computational";
-  networking.networkmanager.enable = true;
-
-  system.stateVersion = "23.11";
-}

computational/pipewire.conf

@@ -1,308 +0,0 @@
-context.properties = {
-    ## Configure properties in the system.
-    #library.name.system                   = support/libspa-support
-    #context.data-loop.library.name.system = support/libspa-support
-    #support.dbus                          = true
-    #link.max-buffers                      = 64
-    link.max-buffers                       = 16                       # version < 3 clients can't handle more
-    #mem.warn-mlock                        = false
-    #mem.allow-mlock                       = true
-    #mem.mlock-all                         = false
-    #clock.power-of-two-quantum            = true
-    #log.level                             = 2
-    #cpu.zero.denormals                    = false
-
-    core.daemon = true              # listening for socket connections
-    core.name   = pipewire-0        # core name and socket name
-
-    ## Properties for the DSP configuration.
-    # default.clock.rate          = 48000
-    default.clock.allowed-rates = [ 44100 48000 88200 96000, 176400 192000 352800 384000 705600 768000 ]
-    default.clock.quantum       = 1024
-    default.clock.min-quantum   = 128
-    default.clock.max-quantum   = 2048
-    #default.clock.quantum-limit = 8192
-    #default.video.width         = 640
-    #default.video.height        = 480
-    #default.video.rate.num      = 25
-    #default.video.rate.denom    = 1
-    #
-    #settings.check-quantum      = false
-    #settings.check-rate         = false
-    #
-    # These overrides are only applied when running in a vm.
-    vm.overrides = {
-        default.clock.min-quantum = 1024
-    }
-
-    # keys checked below to disable module loading
-    module.x11.bell = true
-    # enables autoloading of access module, when disabled an alternative
-    # access module needs to be loaded.
-    module.access = true
-    # enables autoloading of module-jackdbus-detect
-    module.jackdbus-detect = true
-}
-
-context.spa-libs = {
-    #<factory-name regex> = <library-name>
-    #
-    # Used to find spa factory names. It maps an spa factory name
-    # regular expression to a library name that should contain
-    # that factory.
-    #
-    audio.convert.* = audioconvert/libspa-audioconvert
-    avb.*           = avb/libspa-avb
-    api.alsa.*      = alsa/libspa-alsa
-    api.v4l2.*      = v4l2/libspa-v4l2
-    api.libcamera.* = libcamera/libspa-libcamera
-    api.bluez5.*    = bluez5/libspa-bluez5
-    api.vulkan.*    = vulkan/libspa-vulkan
-    api.jack.*      = jack/libspa-jack
-    support.*       = support/libspa-support
-    #videotestsrc   = videotestsrc/libspa-videotestsrc
-    #audiotestsrc   = audiotestsrc/libspa-audiotestsrc
-}
-
-context.modules = [
-    #{ name = <module-name>
-    #    ( args  = { <key> = <value> ... } )
-    #    ( flags = [ ( ifexists ) ( nofail ) ] )
-    #    ( condition = [ { <key> = <value> ... } ... ] )
-    #}
-    #
-    # Loads a module with the given parameters.
-    # If ifexists is given, the module is ignored when it is not found.
-    # If nofail is given, module initialization failures are ignored.
-    # If condition is given, the module is loaded only when the context
-    # properties all match the match rules.
-    #
-
-    # Uses realtime scheduling to boost the audio thread priorities. This uses
-    # RTKit if the user doesn't have permission to use regular realtime
-    # scheduling. You can also clamp utilisation values to improve scheduling
-    # on embedded and heterogeneous systems, e.g. Arm big.LITTLE devices.
-    { name = libpipewire-module-rt
-        args = {
-            nice.level    = -11
-            #rt.prio      = 88
-            #rt.time.soft = -1
-            #rt.time.hard = -1
-            #uclamp.min = 0
-            #uclamp.max = 1024
-        }
-        flags = [ ifexists nofail ]
-    }
-
-    # The native communication protocol.
-    { name = libpipewire-module-protocol-native
-        args = {
-            # List of server Unix sockets, and optionally permissions
-            #sockets = [ { name = "pipewire-0" }, { name = "pipewire-0-manager" } ]
-        }
-    }
-
-    # The profile module. Allows application to access profiler
-    # and performance data. It provides an interface that is used
-    # by pw-top and pw-profiler.
-    { name = libpipewire-module-profiler }
-
-    # Allows applications to create metadata objects. It creates
-    # a factory for Metadata objects.
-    { name = libpipewire-module-metadata }
-
-    # Creates a factory for making devices that run in the
-    # context of the PipeWire server.
-    { name = libpipewire-module-spa-device-factory }
-
-    # Creates a factory for making nodes that run in the
-    # context of the PipeWire server.
-    { name = libpipewire-module-spa-node-factory }
-
-    # Allows creating nodes that run in the context of the
-    # client. Is used by all clients that want to provide
-    # data to PipeWire.
-    { name = libpipewire-module-client-node }
-
-    # Allows creating devices that run in the context of the
-    # client. Is used by the session manager.
-    { name = libpipewire-module-client-device }
-
-    # The portal module monitors the PID of the portal process
-    # and tags connections with the same PID as portal
-    # connections.
-    { name = libpipewire-module-portal
-        flags = [ ifexists nofail ]
-    }
-
-    # The access module can perform access checks and block
-    # new clients.
-    { name = libpipewire-module-access
-        args = {
-            # Socket-specific access permissions
-            #access.socket = { pipewire-0 = "default", pipewire-0-manager = "unrestricted" }
-
-            # Deprecated legacy mode (not socket-based),
-            # for now enabled by default if access.socket is not specified
-            #access.legacy = true
-        }
-        condition = [ { module.access = true } ]
-    }
-
-    # Makes a factory for wrapping nodes in an adapter with a
-    # converter and resampler.
-    { name = libpipewire-module-adapter }
-
-    # Makes a factory for creating links between ports.
-    { name = libpipewire-module-link-factory }
-
-    # Provides factories to make session manager objects.
-    { name = libpipewire-module-session-manager }
-
-    # Use libcanberra to play X11 Bell
-    { name = libpipewire-module-x11-bell
-        args = {
-            #sink.name = ""
-            #sample.name = "bell-window-system"
-            #x11.display = null
-            #x11.xauthority = null
-        }
-        flags = [ ifexists nofail ]
-        condition = [ { module.x11.bell = true } ]
-    }
-    { name = libpipewire-module-jackdbus-detect
-        args = {
-            #jack.library     = libjack.so.0
-            #jack.server      = null
-            #jack.client-name = PipeWire
-            #jack.connect     = true
-            #tunnel.mode      = duplex  # source|sink|duplex
-            source.props = {
-                #audio.channels = 2
-		#midi.ports = 1
-                #audio.position = [ FL FR ]
-                # extra sink properties
-            }
-            sink.props = {
-                #audio.channels = 2
-		#midi.ports = 1
-                #audio.position = [ FL FR ]
-                # extra sink properties
-            }
-        }
-        flags = [ ifexists nofail ]
-        condition = [ { module.jackdbus-detect = true } ]
-    }
-]
-
-context.objects = [
-    #{ factory = <factory-name>
-    #    ( args  = { <key> = <value> ... } )
-    #    ( flags = [ ( nofail ) ] )
-    #    ( condition = [ { <key> = <value> ... } ... ] )
-    #}
-    #
-    # Creates an object from a PipeWire factory with the given parameters.
-    # If nofail is given, errors are ignored (and no object is created).
-    # If condition is given, the object is created only when the context properties
-    # all match the match rules.
-    #
-    #{ factory = spa-node-factory   args = { factory.name = videotestsrc node.name = videotestsrc node.description = videotestsrc "Spa:Pod:Object:Param:Props:patternType" = 1 } }
-    #{ factory = spa-device-factory args = { factory.name = api.jack.device foo=bar } flags = [ nofail ] }
-    #{ factory = spa-device-factory args = { factory.name = api.alsa.enum.udev } }
-    #{ factory = spa-node-factory   args = { factory.name = api.alsa.seq.bridge node.name = Internal-MIDI-Bridge } }
-    #{ factory = adapter            args = { factory.name = audiotestsrc node.name = my-test node.description = audiotestsrc } }
-    #{ factory = spa-node-factory   args = { factory.name = api.vulkan.compute.source node.name = my-compute-source } }
-
-    # A default dummy driver. This handles nodes marked with the "node.always-driver"
-    # property when no other driver is currently active. JACK clients need this.
-    { factory = spa-node-factory
-        args = {
-            factory.name    = support.node.driver
-            node.name       = Dummy-Driver
-            node.group      = pipewire.dummy
-            priority.driver = 20000
-            #clock.id       = monotonic # realtime | tai | monotonic-raw | boottime
-            #clock.name     = "clock.system.monotonic"
-        }
-    }
-    { factory = spa-node-factory
-        args = {
-            factory.name    = support.node.driver
-            node.name       = Freewheel-Driver
-            priority.driver = 19000
-            node.group      = pipewire.freewheel
-            node.freewheel  = true
-        }
-    }
-
-    # This creates a new Source node. It will have input ports
-    # that you can link, to provide audio for this source.
-    #{ factory = adapter
-    #    args = {
-    #        factory.name     = support.null-audio-sink
-    #        node.name        = "my-mic"
-    #        node.description = "Microphone"
-    #        media.class      = "Audio/Source/Virtual"
-    #        audio.position   = "FL,FR"
-    #    }
-    #}
-
-    # This creates a single PCM source device for the given
-    # alsa device path hw:0. You can change source to sink
-    # to make a sink in the same way.
-    #{ factory = adapter
-    #    args = {
-    #        factory.name           = api.alsa.pcm.source
-    #        node.name              = "alsa-source"
-    #        node.description       = "PCM Source"
-    #        media.class            = "Audio/Source"
-    #        api.alsa.path          = "hw:0"
-    #        api.alsa.period-size   = 1024
-    #        api.alsa.headroom      = 0
-    #        api.alsa.disable-mmap  = false
-    #        api.alsa.disable-batch = false
-    #        audio.format           = "S16LE"
-    #        audio.rate             = 48000
-    #        audio.channels         = 2
-    #        audio.position         = "FL,FR"
-    #    }
-    #}
-
-    # Use the metadata factory to create metadata and some default values.
-    #{ factory = metadata
-    #    args = {
-    #        metadata.name = my-metadata
-    #        metadata.values = [
-    #            { key = default.audio.sink   value = { name = somesink } }
-    #            { key = default.audio.source value = { name = somesource } }
-    #        ]
-    #    }
-    #}
-]
-
-context.exec = [
-    #{   path = <program-name>
-    #    ( args = "<arguments>" )
-    #    ( condition = [ { <key> = <value> ... } ... ] )
-    #}
-    #
-    # Execute the given program with arguments.
-    # If condition is given, the program is executed only when the context
-    # properties all match the match rules.
-    #
-    # You can optionally start the session manager here,
-    # but it is better to start it as a systemd service.
-    # Run the session manager with -h for options.
-    #
-    #{ path = "/nix/store/n5azqf4qgng00pzdw0xzg7dqjfvsfcgs-pipewire-0.3.85/bin/pipewire-media-session" args = ""
-    #  condition = [ { exec.session-manager = null } { exec.session-manager = true } ] }
-    #
-    # You can optionally start the pulseaudio-server here as well
-    # but it is better to start it as a systemd service.
-    # It can be interesting to start another daemon here that listens
-    # on another address with the -a option (eg. -a tcp:4713).
-    #
-    #{ path = "/nix/store/n5azqf4qgng00pzdw0xzg7dqjfvsfcgs-pipewire-0.3.85/bin/pipewire" args = "-c pipewire-pulse.conf"
-    #  condition = [ { exec.pipewire-pulse = null } { exec.pipewire-pulse = true } ] }
-]

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,17 +25,17 @@
     "cornelis": {
       "inputs": {
         "flake-compat": "flake-compat",
-        "flake-utils": "flake-utils_2",
+        "flake-utils": "flake-utils",
         "nixpkgs": [
           "nixpkgs"
         ]
       },
       "locked": {
-        "lastModified": 1706916489,
-        "narHash": "sha256-x6OrQdcViKUqF8m/yuF+hIJhecTwiwVSH9T/mJa+K4k=",
+        "lastModified": 1715930772,
+        "narHash": "sha256-gP32IWxjIApK0jxQn3Xorul5SXtMS2tq+K8Wj8afHgg=",
         "owner": "isovector",
         "repo": "cornelis",
-        "rev": "c1f926eb8a2d5bd051e84f330864ebc3857a83f4",
+        "rev": "06d6020eed1a3520bb2887337dd5b27b1755968b",
         "type": "github"
       },
       "original": {
@@ -60,13 +60,34 @@
         "type": "github"
       }
     },
-    "flake-utils": {
+    "flake-parts": {
+      "inputs": {
+        "nixpkgs-lib": "nixpkgs-lib"
+      },
       "locked": {
-        "lastModified": 1678901627,
-        "narHash": "sha256-U02riOqrKKzwjsxc/400XnElV+UtPUQWpANPlyazjH0=",
+        "lastModified": 1722555600,
+        "narHash": "sha256-XOQkdLafnb/p9ij77byFQjDf5m5QYl9b2REiVClC+x4=",
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "rev": "8471fe90ad337a8074e957b69ca4d0089218391d",
+        "type": "github"
+      },
+      "original": {
+        "owner": "hercules-ci",
+        "repo": "flake-parts",
+        "type": "github"
+      }
+    },
+    "flake-utils": {
+      "inputs": {
+        "systems": "systems"
+      },
+      "locked": {
+        "lastModified": 1710146030,
+        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "93a2b84fc4b70d9e089d029deacc3583435c2ed6",
+        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
         "type": "github"
       },
       "original": {
@@ -77,14 +98,29 @@
     },
     "flake-utils_2": {
       "inputs": {
-        "systems": "systems"
+        "systems": "systems_2"
       },
       "locked": {
-        "lastModified": 1701680307,
-        "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=",
+        "lastModified": 1710146030,
+        "narHash": "sha256-SZ5L6eA7HJ/nmkzGG7/ISclqe6oZdOZTNoesiInkXPQ=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "4022d587cbbfd70fe950c1e2083a02621806a725",
+        "rev": "b1d9ab70662946ef0850d488da1c9019f3a9752a",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "flake-utils_3": {
+      "locked": {
+        "lastModified": 1678901627,
+        "narHash": "sha256-U02riOqrKKzwjsxc/400XnElV+UtPUQWpANPlyazjH0=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "93a2b84fc4b70d9e089d029deacc3583435c2ed6",
         "type": "github"
       },
       "original": {
@@ -100,94 +136,119 @@
         ]
       },
       "locked": {
-        "lastModified": 1700814205,
-        "narHash": "sha256-lWqDPKHRbQfi+zNIivf031BUeyciVOtwCwTjyrhDB5g=",
+        "lastModified": 1718530513,
+        "narHash": "sha256-BmO8d0r+BVlwWtMLQEYnwmngqdXIuyFzMwvmTcLMee8=",
         "owner": "nix-community",
         "repo": "home-manager",
-        "rev": "aeb2232d7a32530d3448318790534d196bf9427a",
+        "rev": "a1fddf0967c33754271761d91a3d921772b30d0e",
         "type": "github"
       },
       "original": {
         "owner": "nix-community",
-        "ref": "release-23.11",
+        "ref": "release-24.05",
         "repo": "home-manager",
         "type": "github"
       }
     },
     "nixpkgs": {
       "locked": {
-        "lastModified": 1707091808,
-        "narHash": "sha256-LahKBAfGbY836gtpVNnWwBTIzN7yf/uYM/S0g393r0Y=",
+        "lastModified": 1728909085,
+        "narHash": "sha256-WLxED18lodtQiayIPDE5zwAfkPJSjHJ35UhZ8h3cJUg=",
         "owner": "NixOs",
         "repo": "nixpkgs",
-        "rev": "9f2ee8c91ac42da3ae6c6a1d21555f283458247e",
+        "rev": "c0b1da36f7c34a7146501f684e9ebdf15d2bebf8",
         "type": "github"
       },
       "original": {
         "owner": "NixOs",
-        "ref": "nixos-23.11",
+        "ref": "nixos-24.05",
         "repo": "nixpkgs",
         "type": "github"
       }
     },
-    "nixpkgs_2": {
+    "nixpkgs-lib": {
       "locked": {
-        "lastModified": 1707268954,
-        "narHash": "sha256-2en1kvde3cJVc3ZnTy8QeD2oKcseLFjYPLKhIGDanQ0=",
-        "owner": "NixOS",
+        "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": 1728888510,
+        "narHash": "sha256-nsNdSldaAyu6PE3YUA+YQLqUDJh+gRbBooMMekZJwvI=",
+        "owner": "NixOs",
         "repo": "nixpkgs",
-        "rev": "f8e2ebd66d097614d51a56a755450d4ae1632df1",
+        "rev": "a3c0b3b21515f74fd2665903d4ce6bc4dc81c77c",
         "type": "github"
       },
       "original": {
-        "owner": "NixOS",
+        "owner": "NixOs",
         "ref": "nixos-unstable",
         "repo": "nixpkgs",
         "type": "github"
       }
     },
+    "nixprof": {
+      "inputs": {
+        "flake-utils": "flake-utils_3",
+        "nixpkgs": [
+          "nixpkgs-unstable"
+        ]
+      },
+      "locked": {
+        "lastModified": 1680079910,
+        "narHash": "sha256-8KH3mZZVNB9rf42jSsllsJcs06JVxzgYkvmGgbSkMlI=",
+        "owner": "Kha",
+        "repo": "nixprof",
+        "rev": "8a36221436d1a0f336ba8432dd8ffebbb82c3b29",
+        "type": "github"
+      },
+      "original": {
+        "owner": "Kha",
+        "repo": "nixprof",
+        "type": "github"
+      }
+    },
+    "plasma-manager": {
+      "inputs": {
+        "home-manager": [
+          "home-manager"
+        ],
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1724556439,
+        "narHash": "sha256-gPR3sxkKxISUvydnqoj54znpUkK8av/HVFuFJuYUw3w=",
+        "owner": "nix-community",
+        "repo": "plasma-manager",
+        "rev": "5c97fe8af2a2e561f14195ed357d8c451fdbff4c",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-community",
+        "ref": "trunk",
+        "repo": "plasma-manager",
+        "type": "github"
+      }
+    },
     "root": {
       "inputs": {
         "agda": "agda",
         "cornelis": "cornelis",
+        "flake-utils": "flake-utils_2",
         "home-manager": "home-manager",
         "nixpkgs": "nixpkgs",
-        "ssbm-nix": "ssbm-nix"
-      }
-    },
-    "slippi-desktop": {
-      "flake": false,
-      "locked": {
-        "lastModified": 1707981080,
-        "narHash": "sha256-Qd1jLAXWvxA5SHcafgHFRs1+XYz8yXLdQ27+qZ8MYxk=",
-        "owner": "project-slippi",
-        "repo": "slippi-desktop-app",
-        "rev": "16ab255406f7ab86846a7786ff15e3543501397c",
-        "type": "github"
-      },
-      "original": {
-        "owner": "project-slippi",
-        "repo": "slippi-desktop-app",
-        "type": "github"
-      }
-    },
-    "ssbm-nix": {
-      "inputs": {
-        "nixpkgs": "nixpkgs_2",
-        "slippi-desktop": "slippi-desktop"
-      },
-      "locked": {
-        "lastModified": 1708119120,
-        "narHash": "sha256-SuZbD4eGwS9OYeGL0V9uPVsW2SyL7MbLXBd5rngZB4c=",
-        "owner": "lytedev",
-        "repo": "ssbm-nix",
-        "rev": "041f495ab6446e6edd22c1a5fbd48dd704c5b9a6",
-        "type": "github"
-      },
-      "original": {
-        "owner": "lytedev",
-        "repo": "ssbm-nix",
-        "type": "github"
+        "nixpkgs-unstable": "nixpkgs-unstable",
+        "nixprof": "nixprof",
+        "plasma-manager": "plasma-manager"
       }
     },
     "systems": {
@@ -204,6 +265,21 @@
         "repo": "default",
         "type": "github"
       }
+    },
+    "systems_2": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
     }
   },
   "root": "root",

flake.nix

@@ -1,69 +1,139 @@
 {
 
-  description = "My various NixOs configurations";
+  description = "My various NixOS configurations";
 
   inputs = {
-    nixpkgs.url = "github:NixOs/nixpkgs/nixos-23.11";
-    home-manager.url = "github:nix-community/home-manager/release-23.11";
-    home-manager.inputs.nixpkgs.follows = "nixpkgs";
-    agda.url = "github:agda/agda/v2.6.4.1";
-    agda.inputs.nixpkgs.follows = "nixpkgs";
-    cornelis.url = "github:isovector/cornelis/";
-    cornelis.inputs.nixpkgs.follows = "nixpkgs";
-    ssbm-nix.url = "github:lytedev/ssbm-nix";
+    nixpkgs.url = "github:NixOs/nixpkgs/nixos-24.05";
+    nixpkgs-unstable.url = "github:NixOs/nixpkgs/nixos-unstable";
+    flake-utils.url = "github:numtide/flake-utils";
+    home-manager = {
+      url = "github:nix-community/home-manager/release-24.05";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
+    agda = {
+      url = "github:agda/agda/v2.7.0";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
+    cornelis = {
+      url = "github:isovector/cornelis/";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
+    nixprof = {
+      url = "github:Kha/nixprof";
+      inputs.nixpkgs.follows = "nixpkgs-unstable";
+    };
+    plasma-manager = {
+      url = "github:nix-community/plasma-manager/trunk";
+      inputs.nixpkgs.follows = "nixpkgs";
+      inputs.home-manager.follows = "home-manager";
+    };
   };
 
-  outputs = { self, nixpkgs, home-manager, agda, cornelis, ssbm-nix }: 
+  outputs = { self, nixpkgs, nixpkgs-unstable, home-manager, agda, cornelis, plasma-manager, flake-utils, nixprof }:
     let nix-config-module =
         {
           nix.registry.nixpkgs.flake = nixpkgs;
+          nix.registry.unstable.flake = nixpkgs-unstable;
           system.configurationRevision = nixpkgs.lib.mkIf (self ? rev) self.rev;
         };
-      rachel-home-module =
-        ({ pkgs, ... }:
-          let system = pkgs.stdenv.system;
-          in {
+        home-module =
+          system: config: {
             home-manager = {
+              sharedModules = [ plasma-manager.homeManagerModules.plasma-manager ];
               useGlobalPkgs = true;
               useUserPackages = true;
-              users.rachel = import ./home/rachel.nix {
-                pkgs = pkgs;
-                agda = agda.packages.${system}.Agda;
-                cornelis = cornelis.packages.${system}.cornelis;
-                cornelis-vim = cornelis.packages.${system}.cornelis-vim;
-                slippi-netplay = ssbm-nix.packages.${system}.slippi-netplay;
+              users.${config.user} = import ./home-manager/all.nix {
+                pkgs = import nixpkgs {
+                  inherit system;
+                  config.allowUnfree = true;
+                };
+                unstable = import nixpkgs-unstable {
+                  inherit system;
+                  config.allowUnfree = true;
+                };
+                extra = {
+                  agda = agda.packages.${system}.default;
+                  cornelis = cornelis.packages.${system}.cornelis;
+                  cornelis-vim = cornelis.packages.${system}.cornelis-vim;
+                  rc2nix = plasma-manager.packages.${system}.rc2nix;
+                  nixprof = nixprof.packages.${system}.nixprof;
+                  sax2nf = self.packages.${system}.sax2nf;
+                  bqn-vim = self.packages.${system}.bqn-vim;
+                  bqn-nvim = self.packages.${system}.bqn-nvim;
+                  shell-menu = self.packages.${system}.shell-menu;
+                  pash = self.packages.${system}.pash;
+                  cpypsk = self.packages.${system}.cpypsk;
+                  renoise = self.packages.${system}.renoise;
+                  wall = self.packages.${system}.wall;
+                  protonmail-desktop = self.packages.${system}.protonmail-desktop;
+                  eyezoom = self.packages.${system}.eyezoom;
+                };
+                inherit config;
               };
             };
-          }
-        );
-    in rec {
+          };
+          user-system = import ./nixos/shared/user-system.nix;
+          graphical = import ./nixos/shared/graphical.nix;
+          graphical-with-conf = base: system: config: [
+            nix-config-module
+            home-manager.nixosModules.home-manager
+            base
+            (user-system system config)
+            (graphical   system config)
+            (home-module system config)
+          ];
+    in {
 
-    nixosConfigurations.lambda = nixpkgs.lib.nixosSystem {
+    nixosConfigurations.lambda = nixpkgs.lib.nixosSystem rec {
       system = "x86_64-linux";
-      modules = [
-        nix-config-module
-        ssbm-nix.nixosModule
-        ./lambda/configuration.nix
-        ./shared/desktop.nix
-        home-manager.nixosModules.home-manager
-        rachel-home-module
-      ];
+      modules = graphical-with-conf ./nixos/lambda/configuration.nix system {
+        user = "rachel";
+        steam = true;
+        mcsr = false;
+        i3-plasma = true;
+      };
     };
 
-    nixosConfigurations.computational = nixpkgs.lib.nixosSystem {
+    nixosConfigurations.transient = nixpkgs.lib.nixosSystem rec {
       system = "x86_64-linux";
-      modules = [
-        nix-config-module
-        ssbm-nix.nixosModule
-        ./computational/configuration.nix
-        ./shared/desktop.nix
-        home-manager.nixosModules.home-manager
-        rachel-home-module
-      ];
+      modules = graphical-with-conf ./nixos/transient/configuration.nix system {
+        user = "rachel";
+        steam = true;
+        mcsr = false;
+        i3-plasma = true;
+      };
     };
 
-    keyboardLayouts.fox = ./shared/fox.xkb;
+    nixosConfigurations.computational = nixpkgs.lib.nixosSystem rec {
+      system = "x86_64-linux";
+      modules = graphical-with-conf ./nixos/computational/configuration.nix system {
+        user = "rachel";
+        steam = true;
+        mcsr = true;
+        i3-plasma = false;
+      };
+    };
 
-    fonts.sax2nf = import ./shared/sax2nf.nix { pkgs = nixpkgs.legacyPackages.x86_64-linux; };
-  };
+    keyboardLayouts.fox = ./resources/fox.xkb;
+    keyboardLayouts.sus = ./resources/fox.xkb;
+
+  } // flake-utils.lib.eachDefaultSystem (system:
+    let pkgs = import nixpkgs {
+      inherit system;
+      config.allowUnfree = true;
+    };
+    in {
+      packages = rec {
+        bqn-vim = import ./pkgs/bqn-vim.nix { inherit pkgs; };
+        bqn-nvim = import ./pkgs/bqn-nvim.nix { inherit pkgs; };
+        sax2nf = import ./pkgs/sax2nf.nix { inherit pkgs; };
+        shell-menu = import ./pkgs/shell-menu.nix { inherit pkgs; };
+        pash = import ./pkgs/pash.nix { inherit pkgs; };
+        cpypsk = import ./pkgs/cpypsk.nix { inherit pkgs pash; };
+        renoise = import ./pkgs/renoise.nix { inherit pkgs; };
+        wall = import ./pkgs/wall.nix { inherit pkgs; };
+        protonmail-desktop = import ./pkgs/protonmail-desktop.nix { inherit pkgs; };
+        eyezoom = import ./pkgs/eyezoom.nix { inherit pkgs; };
+      };
+    });
 }

home-manager/all.nix

@@ -0,0 +1,27 @@
+{ pkgs, unstable, extra, config, ... }:
+let common = rec {
+  username = config.user;
+  homeDir = "/home/${username}";
+};
+in {
+  imports = builtins.map (x: import x { inherit pkgs unstable extra common config; }) ([
+    ./applications.nix
+    ./fetch.nix
+    ./git.nix
+    ./gpg.nix
+    ./hm-settings.nix
+    ./launcher.nix
+    ./media.nix
+    ./neovim.nix
+    ./plasma.nix
+    ./shell.nix
+    ./ssh.nix
+    ./terminal.nix
+    ./tmux.nix
+    ./xdg-dirs.nix
+    ./xinitrc.nix
+  ] ++ (if config.i3-plasma then [
+    ./i3.nix
+    ./picom.nix
+  ] else []));
+}

home-manager/applications.nix

@@ -0,0 +1,89 @@
+{ pkgs, unstable, extra, config, ... }:
+{
+  home.packages = (with pkgs; [
+    unzip
+    zip
+    xz
+    gzip
+    bzip2
+    p7zip
+    usbutils
+    pciutils
+    nettools
+    nmap
+    arp-scan
+    julia-bin
+    (python3.withPackages (ps: with ps; [
+      ipython
+      matplotlib
+      numpy
+      scipy
+    ]))
+    ghc
+    haskell-language-server
+    firefox
+    gnupg
+    discord
+    dig
+    xxd
+    slack
+    imagemagick
+    ffmpeg
+    yt-dlp
+    libreoffice
+    pass
+    protonvpn-gui
+    thunderbird
+    tidal-hifi
+    signal-desktop
+    transmission-gtk
+    xclip
+    clinfo
+    glxinfo
+    vulkan-tools
+    obs-studio
+    file
+    gimp
+    bat
+    steam
+    steam-run
+    rmapi
+    lutris
+    texlive.combined.scheme-full
+    zulip
+    rink
+    typst
+    ttyper
+    idris2
+    graalvm-ce
+    vimv
+    lean4
+    remmina
+    git-crypt
+    vcv-rack
+    nix-index
+    kdenlive
+    solaar
+    fzf
+    bottom
+    virt-manager-qt
+    wmctrl
+  ]) ++ [
+    extra.agda
+    unstable.zoom-us
+    extra.sax2nf
+    extra.cornelis
+    unstable.kicad
+    extra.renoise
+    extra.nixprof
+    extra.protonmail-desktop
+    extra.pash
+  ]
+  ++ (if config.i3-plasma then [
+    pkgs.i3
+    pkgs.xwallpaper
+  ] else [])
+  ++ (if config.mcsr then [
+    pkgs.prismlauncher
+  ] else []);
+}

home-manager/fetch.nix

@@ -0,0 +1,46 @@
+{ ... }:
+{
+  programs.hyfetch = {
+    enable = true;
+    settings = {
+      preset = "lesbian";
+      mode = "rgb";
+      color_align = {
+        mode = "horizontal";
+      };
+    };
+  };
+  programs.fastfetch = {
+    enable = true;
+    settings = {
+      logo = {
+        type = "kitty-direct";
+        source = ../resources/fetch.png;
+        width = 32;
+        height = 16;
+        padding = {
+          top = 1;
+          left = 2;
+          right = 0;
+        };
+      };
+      modules = [
+        "break"
+        "title"
+        "break"
+        { type = "host"; format = "{3}"; }
+        { type = "os"; format = "{2}"; }
+        "de"
+        { type = "wm"; format = "{2}"; }
+        "shell"
+        "kernel"
+        { type = "cpu"; format = "{1}"; }
+        { type = "gpu"; format = "{1} {2}"; }
+        { type = "terminal"; format = "{5}"; }
+        "terminalfont"
+        "break"
+        "colors"
+      ];
+    };
+  };
+}

home-manager/git.nix

@@ -0,0 +1,11 @@
+{ ... }:
+{
+  programs.git = {
+    enable = true;
+    userName = "Rachel Lambda Samuelsson";
+    userEmail = "depsterr@protonmail.com";
+    extraConfig = {
+      init.defaultBranch = "master";
+    };
+  };
+}

home-manager/gpg.nix

@@ -0,0 +1,7 @@
+{ pkgs, ... }:
+{
+  services.gpg-agent = {
+      enable = true;
+      pinentryPackage = pkgs.pinentry-qt;
+  };
+}

home-manager/hm-settings.nix

@@ -0,0 +1,8 @@
+{ common, ... }:
+{
+  home = {
+    username = common.username;
+    homeDirectory = common.homeDir;
+    stateVersion = "24.05";
+  };
+}

home-manager/i3.nix

@@ -0,0 +1,124 @@
+{ extra, config, ... }:
+{
+  home.file.".config/i3/config".text = ''
+    # i3 config file (v4)
+
+    gaps inner 10px
+    gaps outer 5px
+    default_border pixel 3
+
+    bindsym Mod4+r     exec --no-startup-id rofi -show drun
+    bindsym Mod4+p     exec --no-startup-id ${extra.cpypsk}
+    bindsym Mod4+Return exec --no-startup-id wezterm
+    bindsym Mod4+BackSpace exec --no-startup-id firefox
+    bindsym --release Mod4+s exec --no-startup-id slock
+    ''
+    +
+    (if config.mcsr then ''
+    bindsym Mod1+Prior exec --no-startup-id ${extra.eyezoom} eye
+    bindsym Mod1+Next  exec --no-startup-id ${extra.eyezoom} default
+    bindsym Mod1+Home  exec --no-startup-id ${extra.eyezoom} wide
+    bindsym Mod1+End   exec --no-startup-id ${extra.eyezoom} thin
+    '' else "")
+    +
+    ''
+    # class                 border  backgr. text    indicator child_border
+    client.focused          #d79921 #d79921 #d79921 #d79921   #d79921
+    client.focused_inactive #d79921 #d79921 #d79921 #d79921   #d79921
+    client.unfocused        #b57614 #b57614 #b57614 #b57614   #b57614
+    client.urgent           #cc241d #cc241d #cc241d #cc241d   #cc241d
+
+    bindsym XF86AudioRaiseVolume exec --no-startup-id pactl set-sink-volume @DEFAULT_SINK@ +5%
+    bindsym XF86AudioLowerVolume exec --no-startup-id pactl set-sink-volume @DEFAULT_SINK@ -5%
+    bindsym XF86AudioMute exec --no-startup-id pactl set-sink-mute @DEFAULT_SINK@ toggle
+    bindsym XF86AudioMicMute exec --no-startup-id pactl set-source-mute @DEFAULT_SOURCE@ toggle
+
+    floating_modifier Mod4
+
+    tiling_drag modifier titlebar
+
+    bindsym Mod4+Shift+q kill
+    bindsym Mod4+Shift+r restart
+
+    bindsym Mod4+t split toggle
+
+    bindsym Mod4+f fullscreen toggle
+
+    set $ws1 "1"
+    set $ws2 "2"
+    set $ws3 "3"
+    set $ws4 "4"
+    set $ws5 "5"
+    set $ws6 "6"
+    set $ws7 "7"
+    set $ws8 "8"
+    set $ws9 "9"
+
+    # switch to workspace
+    bindsym Mod4+1 workspace number $ws1
+    bindsym Mod4+2 workspace number $ws2
+    bindsym Mod4+3 workspace number $ws3
+    bindsym Mod4+4 workspace number $ws4
+    bindsym Mod4+5 workspace number $ws5
+    bindsym Mod4+6 workspace number $ws6
+    bindsym Mod4+7 workspace number $ws7
+    bindsym Mod4+8 workspace number $ws8
+    bindsym Mod4+9 workspace number $ws9
+
+    # move focused container to workspace
+    bindsym Mod4+Shift+1 move container to workspace number $ws1
+    bindsym Mod4+Shift+2 move container to workspace number $ws2
+    bindsym Mod4+Shift+3 move container to workspace number $ws3
+    bindsym Mod4+Shift+4 move container to workspace number $ws4
+    bindsym Mod4+Shift+5 move container to workspace number $ws5
+    bindsym Mod4+Shift+6 move container to workspace number $ws6
+    bindsym Mod4+Shift+7 move container to workspace number $ws7
+    bindsym Mod4+Shift+8 move container to workspace number $ws8
+    bindsym Mod4+Shift+9 move container to workspace number $ws9
+
+    bindsym Mod4+h focus left
+    bindsym Mod4+j focus down
+    bindsym Mod4+k focus up
+    bindsym Mod4+l focus right
+
+    bindsym Mod4+Shift+h move left
+    bindsym Mod4+Shift+j move down
+    bindsym Mod4+Shift+k move up
+    bindsym Mod4+Shift+l move right
+
+    bindsym Mod4+Control+h resize grow left
+    bindsym Mod4+Control+j resize grow down
+    bindsym Mod4+Control+k resize grow up
+    bindsym Mod4+Control+l resize grow right
+
+    # plasma stuff
+    exec --no-startup-id wmctrl -c Plasma
+    for_window [title="Desktop @*"] kill; floating enable; border none
+
+    exec --no-startup-id picom -b
+
+    for_window [class="plasmashell"] floating enable
+    for_window [class="Kmix"] floating enable; border none
+    for_window [class="systemsettings"] floating enable
+    for_window [class="spectacle"] floating enable
+    for_window [class="kruler"] floating enable; border none
+    for_window [class="Plasma"] floating enable; border none
+    for_window [class="Klipper"] floating enable; border none
+    for_window [class="krunner"] floating enable; border none
+    for_window [class="Plasmoidviewer"] floating enable; border none
+    for_window [title="plasma-desktop"] floating enable; border none
+    for_window [class="plasmashell" window_type="notification"] floating enable, border none
+    no_focus [class="plasmashell" window_type="notification"] 
+
+    for_window [window_role="pop-up"] floating enable
+    for_window [window_role="bubble"] floating enable
+    for_window [window_role="task_dialog"] floating enable
+    for_window [window_role="Preferences"] floating enable
+    for_window [window_role="About"] floating enable
+    for_window [window_type="dialog"] floating enable
+    for_window [window_type="menu"] floating enable
+    for_window [instance="__scratchpad"] floating enable
+
+    exec --no-startup-id xwallpaper --focus ${extra.wall}
+  '';
+}

home-manager/launcher.nix

@@ -0,0 +1,7 @@
+{ ... }:
+{
+  programs.rofi = {
+    enable = true;
+    theme = ../resources/rofi-theme/spotlight-dark.rasi;
+  };
+}

home-manager/media.nix

@@ -0,0 +1,11 @@
+{ ... }:
+{
+  programs.mpv = {
+    enable = true;
+    config = {
+      hwdec = "auto-safe";
+      vo = "gpu";
+      profile = "gpu-hq";
+    };
+  };
+}

home-manager/neovim.nix

@@ -0,0 +1,189 @@
+{ pkgs, extra, ... }:
+{
+  programs.neovim = {
+    defaultEditor = true;
+    enable = true;
+    vimAlias = true;
+    extraLuaConfig = ''
+      require('Comment').setup()
+      require('nvim-surround').setup()
+      require('numb').setup()
+      local lspcfg = require('lspconfig')
+      lspcfg.typst_lsp.setup({
+        cmd = { '${pkgs.typst-lsp}/bin/typst-lsp' },
+      })
+      lspcfg.rust_analyzer.setup({})
+      lspcfg.hls.setup({})
+      lspcfg.pyright.setup({
+        cmd = { '${pkgs.nodePackages.pyright}/bin/pyright-langserver', '--stdio' },
+      })
+      lspcfg.nixd.setup({
+        cmd = { '${pkgs.nixd}/bin/nixd' },
+      })
+      lspcfg.ltex.setup({
+        cmd = { '${pkgs.ltex-ls}/bin/ltex-ls' },
+        settings = {
+          ltex = {
+            language = 'auto'
+          }
+        }
+      })
+      lspcfg.clangd.setup({
+        cmd = { '${pkgs.clang-tools}/bin/clangd' },
+      })
+      lspcfg.ocamllsp.setup({})
+      lspcfg.purescriptls.setup({})
+      lspcfg.volar.setup({})
+      lspcfg.tsserver.setup({
+        init_options = {
+          plugins = {
+            {
+              name = "@vue/typescript-plugin",
+              location = "node_modules/@vue/typescript-plugin",
+              languages = {"javascript", "typescript", "vue"},
+            },
+          },
+        },
+        filetypes = {
+          "javascript",
+          "typescript",
+          "vue",
+        },
+      })
+      require('orgmode').setup({})
+      require('lean').setup({
+        mappings = true,
+      })
+      require('lualine').setup {
+        options = {
+          icons_enabled = true,
+          theme = 'gruvbox',
+          component_separators = { left = "", right = ""},
+          section_separators = { left = "", right = ""},
+          always_divide_middle = true,
+          globalstatus = false,
+          refresh = {
+            statusline = 1000,
+            tabline = 1000,
+            winbar = 1000,
+          }
+        },
+        sections = {
+          lualine_a = {'mode'},
+          lualine_b = { { 
+            'diagnostics', 
+            always_visible = true,
+            on_click = function(n,b,m)
+              vim.diagnostic.goto_next()
+            end
+          } },
+          lualine_c = {'filename'},
+          lualine_x = {'encoding', 'filetype'},
+          lualine_y = {'progress'},
+          lualine_z = {'location'}
+        },
+        inactive_sections = {
+          lualine_a = {},
+          lualine_b = {},
+          lualine_c = {'filename'},
+          lualine_x = {'location'},
+          lualine_y = {},
+          lualine_z = {}
+        },
+      }
+
+      vim.api.nvim_create_autocmd('LspAttach', {
+        callback = function(args)
+          local opts = { buffer = args.buf }
+          vim.keymap.set('n', 'K', vim.lsp.buf.hover, opts)
+          vim.keymap.set('n', '<localleader>r', vim.lsp.buf.rename, opts)
+          vim.keymap.set('n', '<localleader>a', vim.lsp.buf.code_action, opts)
+          vim.keymap.set('n', '<localleader>gd', vim.lsp.buf.definition, opts)
+          vim.keymap.set('n', '<localleader>gi', vim.lsp.buf.implementation, opts)
+          vim.keymap.set('n', '<localleader>gr', vim.lsp.buf.references, opts)
+          vim.keymap.set('n', '<localleader>e', vim.diagnostic.open_float, opts)
+          vim.keymap.set('n', '<localleader>n', vim.diagnostic.goto_next, opts)
+          vim.keymap.set('n', '<localleader>N', vim.diagnostic.goto_prev, opts)
+          vim.keymap.set('i', '<C-n>', vim.lsp.omnifunc, opts)
+        end,
+      })
+
+      vim.api.nvim_create_autocmd({ "BufNew"
+                                  , "TextChanged"
+                                  , "TextChangedI"
+                                  , "TextChangedP"
+                                  , "TextChangedT"
+                                  }, {
+        callback = function(args)
+          vim.diagnostic.disable(args.buf)
+        end
+      })
+
+      vim.api.nvim_create_autocmd({"BufWrite"}, {
+        callback = function(args)
+          vim.diagnostic.enable(args.buf)
+        end
+      })
+    '';
+    extraConfig = ''
+      set rnu nu
+      set ts=2 sw=2 expandtab
+      set clipboard=unnamedplus
+      set laststatus=3 noshowmode
+      set signcolumn=no
+      set linebreak
+      let g:cornelis_use_global_binary = 1
+      set conceallevel=2 concealcursor=nc
+      colorscheme gruvbox
+      hi Normal guibg=NONE ctermbg=NONE
+
+      let maplocalleader="!"
+      let g:bqn_prefix_key="!"
+      runtime agda-input.vim
+      call cornelis#bind_input(" ", "!")
+      call cornelis#bind_input("exc", "!")
+
+      inoremap <C-Space> <Esc>
+
+      nnoremap j gj
+      nnoremap k gk
+      nnoremap gj j
+      nnoremap gk k
+
+      au BufRead,BufNewFile *.agda call AgdaFiletype()
+      au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
+      function! AgdaFiletype()
+          nnoremap <buffer> <localleader>l :CornelisLoad<CR>
+          nnoremap <buffer> <localleader>r :CornelisRefine<CR>
+          nnoremap <buffer> <localleader>c :CornelisMakeCase<CR>
+          nnoremap <buffer> <localleader>,     :CornelisTypeContext<CR>
+          nnoremap <buffer> <localleader>.     :CornelisTypeContextInfer<CR>
+          nnoremap <buffer> <localleader>d :CornelisTypeInfer<CR>
+          nnoremap <buffer> <localleader>s :CornelisSolve<CR>
+          nnoremap <buffer> <localleader>a :CornelisAuto<CR>
+          nnoremap <buffer> gd         :CornelisGoToDefinition<CR>
+          nnoremap <buffer> <localleader>b :CornelisPrevGoal<CR>
+          nnoremap <buffer> <localleader>f :CornelisNextGoal<CR>
+          nnoremap <buffer> <localleader>u :CornelisIgnoreAbstract<CR>
+          nnoremap <buffer> <localleader><space> :CornelisGive<CR>
+      endfunction
+    '';
+    plugins = (with pkgs.vimPlugins; [
+      nvim-surround
+      comment-nvim
+      vimtex
+      gruvbox-nvim
+      nvim-lspconfig
+      idris2-vim
+      numb-nvim
+      typst-vim
+      orgmode
+      lean-nvim
+      lualine-nvim
+    ]) ++ [
+      extra.cornelis-vim
+      extra.bqn-vim
+      extra.bqn-nvim
+    ];
+  };
+}

home-manager/picom.nix

@@ -0,0 +1,9 @@
+{ ... }:
+{
+  services.picom = {
+    enable = true;
+    backend = "glx";
+    settings.refresh-rate = "144";
+    vSync = false;
+  };
+}

home-manager/plasma.nix

@@ -0,0 +1,143 @@
+{ extra, config, ... }:
+{
+  programs.plasma = {
+    enable = true;
+    overrideConfig = true;
+
+    workspace = {
+      lookAndFeel = "org.kde.breezedark.desktop";
+    } // (if config.i3-plasma then {} else {
+      wallpaper = "${extra.wall}";
+    });
+
+    kscreenlocker = {
+      appearance.wallpaper = "${extra.wall}";
+    };
+
+    hotkeys.commands = if config.i3-plasma then {} else ({
+      "launch-terminal" = {
+        name = "Launch terminal";
+        key = "Meta+Return";
+        command = "wezterm";
+      };
+
+
+      "cpypsk" = {
+        name = "Launch cpypsk";
+        key = "Meta+p";
+        command = "${extra.cpypsk}";
+      };
+    } // (if config.mcsr then {
+      "eye" = {
+        name = "eye zoom";
+        key = "Alt+PgUp";
+        command = "${extra.eyezoom} eye";
+      };
+
+      "default" = {
+        name = "default zoom";
+        key = "Alt+PgDown";
+        command = "${extra.eyezoom} default";
+      };
+
+      "thin" = {
+        name = "thin zoom";
+        key = "Alt+End";
+        command = "${extra.eyezoom} tiktok";
+      };
+
+      "wide" = {
+        name = "wide zoom";
+        key = "Alt+Home";
+        command = "${extra.eyezoom} wide";
+      };
+    } else {}));
+
+    fonts = {
+      general = {
+        family = "SAX2 Nerd Font";
+        pointSize = 10;
+      };
+    };
+
+    powerdevil = {
+      AC.whenLaptopLidClosed = "hibernate";
+      battery.whenLaptopLidClosed = "hibernate";
+      lowBattery.whenLaptopLidClosed = "hibernate";
+    };
+
+    panels = [
+      {
+        location = if config.i3-plasma then "top" else "bottom";
+        floating = true;
+        height = if config.i3-plasma then 36 else 44;
+        widgets = let 
+          clock = {
+            digitalClock = {
+              calendar.firstDayOfWeek = "monday";
+              time.format = "24h";
+            };
+          };
+          spacer = {
+            name = "org.kde.plasma.panelspacer";
+            config = { General.expanding = true; };
+          };
+          nolaunchtasks = {
+            name = "org.kde.plasma.icontasks";
+            config = { General.launchers = [ ]; };
+          };
+          launchtasks = {
+            name = "org.kde.plasma.icontasks";
+            config = {
+              General.launchers = [
+                "applications:thunderbird.desktop"
+                "applications:org.wezfurlong.wezterm.desktop"
+                "applications:firefox.desktop"
+                "applications:discord.desktop"
+              ];
+            };
+          };
+          kickoff = {
+            name = "org.kde.plasma.kickoff";
+            config = {
+              General.icon = "nix-snowflake-white";
+            };
+          };
+          systray = {
+            systemTray.items = {
+              shown = [
+                "org.kde.plasma.battery"
+                "org.kde.plasma.bluetooth"
+                "org.kde.plasma.networkmanagement"
+                "org.kde.plasma.volume"
+              ];
+            };
+          };
+        in if config.i3-plasma then [
+          clock
+          spacer
+          nolaunchtasks
+          systray
+        ] else [
+          kickoff
+          launchtasks
+          systray
+          clock
+        ];
+      }
+    ];
+
+    configFile."kcminputrc" = {
+      "Mouse"."X11LibInputXAccelProfileFlat" = true;
+      "Mouse"."XLbInptPointerAcceleration" = 0;
+    };
+
+    configFile."startkderc" = if config.i3-plasma then {
+      "General"."systemdBoot" = false; # needed to use i3 in place of KWin
+    } else {};
+  };
+
+  home.packages = [
+    extra.rc2nix
+  ];
+}

home-manager/shell.nix

@@ -0,0 +1,85 @@
+{ pkgs, common, ... }:
+{
+  programs.zsh = {
+    enable = true;
+    enableCompletion = false; # manage completions ourself
+    dotDir = ".config/zsh";
+    history.share = false;
+    shellAliases = {
+      x = "startx";
+      rm = "rm -i";
+      cal = "cal -m";
+      ls = "${pkgs.eza}/bin/eza --icons --color --git-repos";
+      cd = "z";
+    };
+    envExtra = ''
+      PROMPT=$'%B%n%b@%B%m%b: %~\nλ '
+      export BROWSER=firefox
+      export XINITRC="${common.homeDir}/bin/xinitrc"
+      export XAUTHORITY="${common.homeDir}/.local/share/Xauthority"
+      export PASH_KEYID="3E4A909C8FEF6E3783699C79DFC26EF8EDAD6D71"
+      export QT_AUTO_SCREEN_FACTOR=1
+      export PATH="${common.homeDir}/bin:$PATH"
+    '';
+    sessionVariables = {
+      DIRENV_LOG_FORMAT = "";
+    };
+    initExtra = ''
+      autoload -Uz compinit 
+
+      compinit -C
+      (exec compinit &)
+
+      _comp_options+=(globdots)
+
+      setopt autocd
+      setopt noautomenu
+      setopt nomenucomplete
+      setopt TRANSIENT_RPROMPT
+
+      nix-subcommand() {
+        cmd="$1"
+        shift
+        pkgs=()
+        for pkg in "$@"; do
+          shift
+          [ "$pkg" = -- ] && break
+          [ "$pkg" = "''${pkg##*#}" ] && pkg="nixpkgs#$pkg"
+          pkgs+="$pkg"
+        done
+        export NIXPKGS_ALLOW_UNFREE=1 NIXPKGS_ALLOW_BROKEN=1
+        nix "$cmd" --impure "''${pkgs[@]}" -- "$@"
+      }
+
+      shell() { nix-subcommand "shell" "$@" }
+      run()   { nix-subcommand "run" "$@"   }
+      build() { nix-subcommand "build" "$@" }
+
+      KEYTIMEOUT=1
+      MODE_INDICATOR_VICMD='%K{10}%F{8}%B NORMAL %k%f%b'
+      MODE_INDICATOR_REPLACE='%K{9}%F{8}%B REPLACE %k%f%b'
+      MODE_INDICATOR_SEARCH='%K{13}%F{8}%B SEARCH %k%f%b'
+      MODE_INDICATOR_VISUAL='%K{12}%F{8}%B VISUAL %k%f%b'
+      MODE_INDICATOR_VLINE='%K{12}%F{8}%B V-LINE %k%f%b'
+    '';
+    plugins = [
+    {
+      name = "zsh-vim-mode";
+      file = "zsh-vim-mode.plugin.zsh";
+      src = pkgs.fetchFromGitHub {
+        owner = "softmoth";
+        repo = "zsh-vim-mode";
+        rev = "1f9953b7d6f2f0a8d2cb8e8977baa48278a31eab";
+        sha256 = "sha256-a+6EWMRY1c1HQpNtJf5InCzU7/RphZjimLdXIXbO6cQ=";
+      };
+    }
+    ];
+  };
+  programs.direnv = {
+    enable = true;
+    nix-direnv.enable = true;
+  };
+  programs.zoxide = {
+    enable = true;
+  };
+}

home-manager/ssh.nix

@@ -0,0 +1,39 @@
+{ ... }:
+{
+  programs.ssh = {
+    enable = true;
+    matchBlocks = {
+      remarkable = {
+        hostname = "10.11.99.1";
+        user = "root";
+      };
+      lazarus = {
+        hostname = "rachel.cafe";
+        user = "deppy";
+      };
+      zelda = {
+        hostname = "zelda.dhack.se";
+        user = "dhack";
+      };
+      link = {
+        hostname = "link.dhack.se";
+        user = "dhack";
+      };
+      medli = {
+        hostname = "pub.dhack.se";
+        user = "hacke";
+        port = 222;
+      };
+      makar = {
+        hostname = "pub.dhack.se";
+        user = "root";
+        port = 223;
+      };
+      ganon = {
+        hostname = "ganon.dhack.se";
+        user = "lambda";
+        port = 222;
+      };
+    };
+  };
+}

home-manager/terminal.nix

@@ -0,0 +1,9 @@
+{ ... }:
+{
+  programs.wezterm = {
+    enable = true;
+    enableBashIntegration = false;
+    enableZshIntegration = false;
+    extraConfig = builtins.readFile ./wezterm.lua;
+  };
+}

home-manager/tmux.nix

@@ -0,0 +1,56 @@
+{ pkgs, ... }:
+{
+  programs.tmux = {
+    enable = true;
+    clock24 = true;
+    escapeTime = 0;
+    keyMode = "vi";
+    mouse = false;
+    shortcut = "a";
+    extraConfig = ''
+      bind h split -hb -c '#{pane_current_path}'
+      bind j split -v -c  '#{pane_current_path}'
+      bind k split -vb -c '#{pane_current_path}'
+      bind l split -h -c  '#{pane_current_path}'
+
+      is_vim="ps -o state= -o comm= -t '#{pane_tty}' | grep -iqE '^[^TXZ ]+ +(\\S+\\/)?g?\.?(view|n?vim?x?)(-wrapped)?(diff)?$'"
+
+      bind-key -n 'C-h' if-shell "$is_vim" 'send-keys C-h' 'select-pane -L'
+      bind-key -n 'C-j' if-shell "$is_vim" 'send-keys C-j' 'select-pane -D'
+      bind-key -n 'C-k' if-shell "$is_vim" 'send-keys C-k' 'select-pane -U'
+      bind-key -n 'C-l' if-shell "$is_vim" 'send-keys C-l' 'select-pane -R'
+
+      bind-key -T copy-mode-vi 'C-h' select-pane -L
+      bind-key -T copy-mode-vi 'C-j' select-pane -D
+      bind-key -T copy-mode-vi 'C-k' select-pane -U
+      bind-key -T copy-mode-vi 'C-l' select-pane -R
+
+      bind -n 'M-h' if-shell "$is_vim" 'send-keys M-h' 'resize-pane -L 1'
+      bind -n 'M-j' if-shell "$is_vim" 'send-keys M-j' 'resize-pane -D 1'
+      bind -n 'M-k' if-shell "$is_vim" 'send-keys M-k' 'resize-pane -U 1'
+      bind -n 'M-l' if-shell "$is_vim" 'send-keys M-l' 'resize-pane -R 1'
+
+      bind-key -T copy-mode-vi M-h resize-pane -L 1
+      bind-key -T copy-mode-vi M-j resize-pane -D 1
+      bind-key -T copy-mode-vi M-k resize-pane -U 1
+      bind-key -T copy-mode-vi M-l resize-pane -R 1
+
+      set -g pane-border-style bg=default
+      set -g pane-border-style fg="#1D1F21"
+      set -g pane-active-border-style bg=default
+      set -g pane-active-border-style fg="#333333"
+
+      set-option -g status on
+      set-option -g status-style bg=default
+      set-option -g status-style fg="#ef7627"
+      set-option -g status-interval 2
+      set-option -g status-justify "centre"
+      set-option -g status-right " λ "
+
+      set -g status-interval 1
+      set-window-option -g window-status-separator "-"
+      set-window-option -g window-status-current-format " #[fg=#b55690 bold]!![ #{b:pane_current_path}/ ] #{b:window_index} $ #{b:pane_current_command}!! "
+      set-window-option -g window-status-format "   #{b:window_index} [ #{b:pane_current_path}/ ] #{b:pane_current_command}   "
+    '';
+  };
+}

home-manager/wezterm.lua

@@ -0,0 +1,95 @@
+local wezterm = require 'wezterm'
+local config = wezterm.config_builder()
+
+act = wezterm.action
+
+config.color_scheme = 'Gruvbox dark, hard (base16)'
+config.use_fancy_tab_bar = false
+config.hide_tab_bar_if_only_one_tab = true
+config.force_reverse_video_cursor = true
+
+config.window_padding = {
+  left   = 4,
+  right  = 4,
+  top    = 4,
+  bottom = 4,
+}
+
+config.inactive_pane_hsb = {
+  saturation = 0.9,
+  brightness = 0.8,
+}
+
+config.window_background_opacity = 0.95
+config.colors = { tab_bar = { background = 'rgba(29, 32, 33, 95%)' } }
+
+
+font = wezterm.font_with_fallback {
+  'SAX2 Nerd Font',
+  'Fira Code',
+  'Noto Mono',
+}
+
+config.font = font
+
+config.font_rules = {
+  {
+    italic = true,
+    font = font,
+  }
+}
+
+config.adjust_window_size_when_changing_font_size = false
+
+config.leader = { key = 'a', mods = 'CTRL', timeout_milliseconds = 700 }
+
+config.keys = {
+  {
+    key = 'a',
+    mods = 'LEADER|CTRL',
+    action = act.SendKey { key = 'a', mods = 'CTRL' },
+  },
+  {
+    key = 'c',
+    mods = 'LEADER',
+    action = act.SpawnTab "CurrentPaneDomain",
+  },
+  {
+    key = 'n',
+    mods = 'LEADER',
+    action = act.ActivateTabRelative(1),
+  },
+  {
+    key = 'p',
+    mods = 'LEADER',
+    action = act.ActivateTabRelative(-1),
+  },
+}
+
+for i = 1, 8 do
+  table.insert(config.keys, {
+    key = tostring(i),
+    mods = 'ALT',
+    action = act.ActivateTab(i - 1),
+  })
+end
+
+for key, dir in pairs({ h = 'Left', j = 'Down', k = 'Up', l = 'Right' }) do
+  table.insert(config.keys, {
+    key = key,
+    mods = 'ALT',
+    action = act.AdjustPaneSize { dir, 1 },
+  })
+  table.insert(config.keys, {
+    key = key,
+    mods = 'CTRL',
+    action = act.ActivatePaneDirection(dir),
+  })
+  table.insert(config.keys, {
+    key = key,
+    mods = 'LEADER',
+    action = act.SplitPane { direction = dir },
+  })
+end
+
+return config

home-manager/xdg-dirs.nix

@@ -0,0 +1,15 @@
+{ common, ... }:
+{
+  xdg.userDirs = {
+    enable = true;
+    createDirectories = true;
+    desktop     = "${common.homeDir}";
+    documents   = "${common.homeDir}/doc";
+    download    = "${common.homeDir}/dwn";
+    music       = "${common.homeDir}/music";
+    pictures    = "${common.homeDir}/img";
+    publicShare = "${common.homeDir}/srv";
+    templates   = "${common.homeDir}/doc/templates";
+    videos      = "${common.homeDir}/vid";
+  };
+}

home-manager/xinitrc.nix

@@ -0,0 +1,29 @@
+{ extra, config, ... }:
+{
+  home.file."bin/xinitrc" = {
+    executable = true;
+    text = ''
+      #!/bin/sh -e
+      cd "$HOME"
+
+      if test -z "$DBUS_SESSION_BUS_ADDRESS"; then
+        eval $(dbus-launch --exit-with-session --sh-syntax)
+      fi
+      systemctl --user import-environment DISPLAY XAUTHORITY
+
+      if command -v dbus-update-activation-environment >/dev/null 2>&1; then
+              dbus-update-activation-environment DISPLAY XAUTHORITY
+      fi
+
+  ''
+  +
+  (if config.i3-plasma then ''
+      xwallpaper --focus ${extra.wall}
+      export KDEWM=i3
+  '' else "")
+  +
+  ''
+      exec startplasma-x11
+  '';
+  };
+}

home/rachel.nix

@@ -1,464 +0,0 @@
-{ pkgs, cornelis, cornelis-vim, agda, slippi-netplay, ... }:
-let username = "rachel";
-    homeDir = "/home/${username}";
-    SAX2NF = import ../shared/sax2nf.nix { inherit pkgs; };
-    hpkgs = pkgs.haskellPackages;
-    hls_wrapper = pkgs.writeScript "hls" ''
-      export PATH="${hpkgs.haskell-language-server}/bin:$PATH"
-      exec ${hpkgs.haskell-language-server}/bin/haskell-language-server-wrapper "$@"
-    '';
-    rzk = hpkgs.rzk;
-in
-{
-  home = {
-    username = username;
-    homeDirectory = homeDir;
-    packages = with pkgs; [
-      unzip
-      zip
-      xz
-      gzip
-      bzip2
-      p7zip
-      usbutils
-      pciutils
-      nettools
-      nmap
-      arp-scan
-      julia-bin
-      (python3.withPackages (ps: with ps; [
-        ipython
-        matplotlib
-        numpy
-        scipy
-      ]))
-      hpkgs.ghc
-      firefox
-      gnupg
-      agda
-      discord
-      dig
-      xxd
-      zoom-us
-      slack
-      imagemagick
-      ffmpeg
-      sl
-      cowsay
-      lolcat
-      fortune
-      banner
-      yt-dlp
-      libreoffice
-      protonmail-bridge
-      pass
-      protonvpn-cli_2
-      thunderbird
-      tidal-hifi
-      signal-desktop
-      transmission-gtk
-      xclip
-      clinfo
-      glxinfo
-      vulkan-tools
-      obs-studio
-      file
-      gimp
-      SAX2NF
-      twemoji-color-font
-      bat
-      steam
-      steam-run
-      rmapi
-      lutris
-      texlive.combined.scheme-full
-      cornelis
-      zulip
-      rink
-      sage
-      typst
-      ttyper
-      idris2
-      prismlauncher
-      vimv
-      rzk
-      whalebird
-      lean4
-      slippi-netplay
-    ];
-    stateVersion = "23.11";
-  };
-  
-  xdg.userDirs = {
-    enable = true;
-    createDirectories = true;
-    desktop     = "${homeDir}";
-    documents   = "${homeDir}/doc";
-    download    = "${homeDir}/dwn";
-    music       = "${homeDir}/music";
-    pictures    = "${homeDir}/img";
-    publicShare = "${homeDir}/srv";
-    templates   = "${homeDir}/doc/templates";
-    videos      = "${homeDir}/vid";
-  };
-  
-  programs = {
-    bash = {
-      enable = true;
-      enableCompletion = false;
-      historyFile = "/dev/null";
-      sessionVariables = {
-        PS1 ="\\033[1m\\u\\033[0m@\\033[1m\\h\\033[0m: \\w\nλ ";
-        BROWSER = "firefox";
-        XINITRC = "${homeDir}/bin/xinitrc";
-        XAUTHORITY = "${homeDir}/.local/share/Xauthority";
-        PASH_KEYID = "3E4A909C8FEF6E3783699C79DFC26EF8EDAD6D71";
-        QT_AUTO_SCREEN_FACTOR = 1;
-        PATH = "${homeDir}/bin:$PATH";
-      };
-      shellAliases = {
-        x = "startx";
-        rm = "rm -i";
-        cal = "cal -m";
-      };
-      initExtra = ''
-        source ~/.profile
-        set -o vi
-      '';
-    };
-
-    mpv = {
-      enable = true;
-      config = {
-        hwdec = "auto-safe";
-        vo = "gpu";
-        profile = "gpu-hq";
-      };
-    };
-
-    rofi = {
-      enable = true;
-      theme = "gruvbox-dark-soft";
-    };
-  
-    git = {
-      enable = true;
-      userName = "Rachel Lambda Samuelsson";
-      userEmail = "depsterr@protonmail.com";
-      extraConfig = {
-        init.defaultBranch = "master";
-      };
-    };
-
-    neovim = {
-      defaultEditor = true;
-      enable = true;
-      vimAlias = true;
-      extraLuaConfig = ''
-        require('tmux').setup({ copy_sync = { redirect_to_clipboard = true } });
-        require('Comment').setup()
-        require('nvim-surround').setup()
-        require('numb').setup()
-        local lspcfg = require('lspconfig')
-        lspcfg.typst_lsp.setup({
-          cmd = { '${pkgs.typst-lsp}/bin/typst-lsp' },
-        })
-        lspcfg.rust_analyzer.setup({})
-        lspcfg.hls.setup({
-          cmd = { '${hls_wrapper}', 'lsp' },
-        })
-        lspcfg.pyright.setup({
-          cmd = { '${pkgs.nodePackages.pyright}/bin/pyright-langserver', '--stdio' },
-        })
-        lspcfg.nixd.setup({
-          cmd = { '${pkgs.nixd}/bin/nixd' },
-        })
-        lspcfg.ltex.setup({
-          cmd = { '${pkgs.ltex-ls}/bin/ltex-ls' },
-          filetypes = { 'bib', 'gitcommit', 'markdown', 'plaintext', 'tex', 'pandoc', 'typst' },
-          settings = {
-            ltex = {
-              language = 'en-US'
-            }
-          }
-        })
-        require('orgmode').setup_ts_grammar()
-        require('nvim-treesitter.configs').setup({
-          highlight = {
-            enable = true,
-            disable = { "c" },
-            additional_vim_regex_highlighting = {'org'},
-          },
-        })
-        require('orgmode').setup({})
-        require('lean').setup({
-          mappings = true,
-        })
-
-        vim.api.nvim_create_autocmd('LspAttach', {
-          callback = function(args)
-            local opts = { buffer = args.buf }
-            vim.keymap.set('n', 'K', vim.lsp.buf.hover, opts)
-            vim.keymap.set('n', '<localleader>r', vim.lsp.buf.rename, opts)
-            vim.keymap.set('n', '<localleader>a', vim.lsp.buf.code_action, opts)
-            vim.keymap.set('i', '<C-n>', vim.lsp.omnifunc, opts)
-          end,
-        })
-
-        vim.api.nvim_create_autocmd({ "BufNew"
-                                    , "TextChanged"
-                                    , "TextChangedI"
-                                    , "TextChangedP"
-                                    , "TextChangedT"
-                                    }, {
-          callback = function(args)
-            vim.diagnostic.disable(args.buf)
-          end
-        })
-
-        vim.api.nvim_create_autocmd({"BufWrite"}, {
-          callback = function(args)
-            vim.diagnostic.enable(args.buf)
-          end
-        })
-
-        vim.api.nvim_create_autocmd({"BufRead", "BufNewFile"}, {
-          pattern = { "*.rzk" },
-          callback = function(arg)
-	    vim.lsp.start({
-              name = 'rzk-lsp',
-              cmd = { "${rzk}/bin/rzk", "lsp" },
-              root_dir = vim.fs.dirname(vim.fs.find('rzk.yaml', { upward = true })[1]),
-            })
-          end
-        })
-      '';
-      extraConfig = ''
-        set rnu nu
-        set ts=2 sw=2 expandtab
-        set clipboard=unnamedplus
-        set laststatus=3 noshowmode
-        set signcolumn=no
-        set linebreak
-        let g:cornelis_use_global_binary = 1
-        let g:lightline = { 'colorscheme': 'gruvbox' }
-        set conceallevel=2 concealcursor=nc
-        colorscheme gruvbox
-        hi Normal guibg=NONE ctermbg=NONE
-
-        let maplocalleader="!"
-        let g:bqn_prefix_key="!"
-        runtime agda-input.vim
-        call cornelis#bind_input(" ", "!")
-        call cornelis#bind_input("exc", "!")
-
-        inoremap <C-Space> <Esc>
-
-        nnoremap j gj
-        nnoremap k gk
-        nnoremap gj j
-        nnoremap gk k
-
-        au BufRead,BufNewFile *.agda call AgdaFiletype()
-        au BufRead,BufNewFile *.lagda.* call AgdaFiletype()
-        function! AgdaFiletype()
-            nnoremap <buffer> <C-c><C-l> :CornelisLoad<CR>
-            nnoremap <buffer> <C-c><C-r> :CornelisRefine<CR>
-            nnoremap <buffer> <C-c><C-c> :CornelisMakeCase<CR>
-            nnoremap <buffer> <C-c>,     :CornelisTypeContext<CR>
-            nnoremap <buffer> <C-c>.     :CornelisTypeContextInfer<CR>
-            nnoremap <buffer> <C-c><C-d> :CornelisTypeInfer<CR>
-            nnoremap <buffer> <C-c><C-s> :CornelisSolve<CR>
-            nnoremap <buffer> <C-c><C-a> :CornelisAuto<CR>
-            nnoremap <buffer> gd         :CornelisGoToDefinition<CR>
-            nnoremap <buffer> <C-c><C-b> :CornelisPrevGoal<CR>
-            nnoremap <buffer> <C-c><C-f> :CornelisNextGoal<CR>
-            nnoremap <buffer> <C-c><C-u> :CornelisIgnoreAbstract<CR>
-            nnoremap <buffer> <C-c><space> :CornelisGive<CR>
-        endfunction
-      '';
-      plugins = let
-      bqn-vim = pkgs.vimUtils.buildVimPlugin {
-        name = "bqn-vim";
-        src = "${pkgs.fetchFromGitHub {
-          owner = "mlochbaum";
-          repo = "BQN";
-          rev = "f4b09b675386c789c8296c96874871916a3abdcf";
-          hash = "sha256-rvsageS5sYF9QvWuoRutjx5i0ngrfhGvIPRO834pwwM=";
-        }}/editors/vim";
-      };
-      bqn-nvim = pkgs.vimUtils.buildVimPlugin {
-        name = "bqn-nvim";
-        src = pkgs.fetchFromSourcehut {
-          owner = "~detegr";
-          repo = "nvim-bqn";
-          rev = "52d8b49f3ebc32d340e2e2b8dba1f6bbd1873b78";
-          hash = "sha256-5wITedTuUn9BKLqmQtPWeFNOa8dXfPIRpUvPSkNJcas=";
-        };
-      };
-      in
-      with pkgs.vimPlugins; [
-        nvim-surround
-        comment-nvim
-        vimtex
-        gruvbox-nvim
-        lightline-vim
-        lightline-gruvbox-vim
-        tmux-nvim
-        cornelis-vim
-        nvim-lspconfig
-        idris2-vim
-        numb-nvim
-        typst-vim
-        orgmode
-        (nvim-treesitter.withPlugins (p: with p; [
-          org
-        ]))
-        vim-obsession
-        lean-nvim
-        bqn-vim
-        bqn-nvim
-      ];
-    };
-
-    tmux = {
-      enable = true;
-      clock24 = true;
-      escapeTime = 0;
-      keyMode = "vi";
-      mouse = false;
-      shortcut = "a";
-      extraConfig = ''
-        bind h split -hb -c '#{pane_current_path}'
-        bind j split -v -c  '#{pane_current_path}'
-        bind k split -vb -c '#{pane_current_path}'
-        bind l split -h -c  '#{pane_current_path}'
-
-        is_vim="ps -o state= -o comm= -t '#{pane_tty}' | grep -iqE '^[^TXZ ]+ +(\\S+\\/)?g?\.?(view|n?vim?x?)(-wrapped)?(diff)?$'"
-
-        bind-key -n 'C-h' if-shell "$is_vim" 'send-keys C-h' 'select-pane -L'
-        bind-key -n 'C-j' if-shell "$is_vim" 'send-keys C-j' 'select-pane -D'
-        bind-key -n 'C-k' if-shell "$is_vim" 'send-keys C-k' 'select-pane -U'
-        bind-key -n 'C-l' if-shell "$is_vim" 'send-keys C-l' 'select-pane -R'
-
-        bind-key -T copy-mode-vi 'C-h' select-pane -L
-        bind-key -T copy-mode-vi 'C-j' select-pane -D
-        bind-key -T copy-mode-vi 'C-k' select-pane -U
-        bind-key -T copy-mode-vi 'C-l' select-pane -R
-
-        bind -n 'M-h' if-shell "$is_vim" 'send-keys M-h' 'resize-pane -L 1'
-        bind -n 'M-j' if-shell "$is_vim" 'send-keys M-j' 'resize-pane -D 1'
-        bind -n 'M-k' if-shell "$is_vim" 'send-keys M-k' 'resize-pane -U 1'
-        bind -n 'M-l' if-shell "$is_vim" 'send-keys M-l' 'resize-pane -R 1'
-
-        bind-key -T copy-mode-vi M-h resize-pane -L 1
-        bind-key -T copy-mode-vi M-j resize-pane -D 1
-        bind-key -T copy-mode-vi M-k resize-pane -U 1
-        bind-key -T copy-mode-vi M-l resize-pane -R 1
-
-        set -g pane-border-style bg=default
-        set -g pane-border-style fg="#1D1F21"
-        set -g pane-active-border-style bg=default
-        set -g pane-active-border-style fg="#333333"
- 
-        set-option -g status on
-        set-option -g status-style bg=default
-        set-option -g status-style fg="#ef7627"
-        set-option -g status-interval 2
-        set-option -g status-justify "centre"
-        set-option -g status-right " λ "
-
-        set -g status-interval 1
-        set-window-option -g window-status-separator "-"
-        set-window-option -g window-status-current-format " #[fg=#b55690 bold]!![ #{b:pane_current_path}/ ] #{b:window_index} $ #{b:pane_current_command}!! "
-        set-window-option -g window-status-format "   #{b:window_index} [ #{b:pane_current_path}/ ] #{b:pane_current_command}   "
-
-        set -g @resurrect-strategy-nvim 'session'
-        set -g @resurrect-capture-pane-contents 'on'
-      '';
-      plugins = with pkgs.tmuxPlugins; [
-        resurrect
-      ];
-    };
-
-    hyfetch = {
-      enable = true;
-      settings = {
-        preset = "lesbian";
-        mode = "rgb";
-        color_align = {
-          mode = "horizontal";
-        };
-      };
-    };
-
-    direnv = {
-      enable = true;
-      nix-direnv.enable = true;
-    };
-
-    alacritty = {
-      enable = true;
-      settings = {
-        window = {
-          padding.x = 5;
-          padding.y = 5;
-          decoration = "none";
-        };
-        dynamic_title = false;
-        mouse_hide_when_typing = true;
-        draw_bold_text_with_bright_colors = false;
-        scrolling.history = 0;
-        font = {
-          normal.family = "SAX2 Nerd Font";
-          size = 11;
-        };
-        colors = {
-          background = "#1d1f21";
-          foreground = "#c5c8c6";
-        };
-        shell.program =
-          let tmux-menu = pkgs.writeScript "tmux-menu" ''
-            s="$(tmux ls 2>/dev/null)"
-            [ "$s" ] && s="$s
-            "
-            c=$(${pkgs.fzf}/bin/fzf -1 <<-EOF
-            ''${s}New Session
-            Raw Shell
-            EOF
-            ) || exit
-            case "$c" in
-              "New Session")
-                read -p "Name? " -r n
-                ${pkgs.tmux}/bin/tmux new -s "$n" ;;
-              "Raw Shell")
-                ${pkgs.bash}/bin/bash --login ;;
-              *)
-                ${pkgs.tmux}/bin/tmux attach-session -t "''${c%%:*}" ;;
-            esac
-          ''; in "${tmux-menu}";
-      };
-    };
-
-    ssh = {
-      enable = true;
-      matchBlocks = {
-        remarkable = {
-          hostname = "10.11.99.1";
-          user = "root";
-        };
-        lazarus = {
-          hostname = "rachel.cafe";
-          user = "deppy";
-        };
-      };
-    };
-  };
-
-  services = {
-    gpg-agent = {
-      enable = true;
-      pinentryFlavor = "qt";
-    };
-  };
-}

nixos/computational/configuration.nix

@@ -0,0 +1,74 @@
+{ config, pkgs, ... }:
+{
+  # [HARDWARE]
+  imports =
+    [ # Include the results of the hardware scan.
+      ./hardware-configuration.nix
+    ];
+
+  hardware.opengl = {
+    enable = true;
+    driSupport = true;
+    driSupport32Bit = true;
+  };
+
+  # [BOOT]
+  boot.loader.systemd-boot.enable = true;
+  boot.loader.efi.canTouchEfiVariables = true;
+  boot.swraid.enable = true;
+  boot.swraid.mdadmConf = ''
+    ARRAY /dev/md/deppyPC:0 level=raid0 num-devices=2 metadata=1.2 name=deppyPC:0 UUID=ba6fef6e:972796a3:a331c87a:2d973f91
+      devices=/dev/sda1,/dev/sdb1
+  '';
+
+  # [AUDIO]
+  services.pipewire.wireplumber.extraConfig = {
+    "alsa-monitor.conf" = {
+      enabled = true;
+
+      rules = [
+        {
+          matches = [
+            {
+              "node.name" = "alsa_output.usb-SMSL_SMSL_USB_AUDIO-00.analog-stereo";
+            }
+          ];
+          actions = {
+            update-props = {
+              audio.format = "S32_LE";
+            };
+          };
+        }
+      ];
+    };
+  };
+
+  services.pipewire.extraConfig.pipewire = {
+    "10-clock-rate" = {
+      "context.properties" = {
+        "default.clock.allowed-rates" = [ 44100 48000 88200 96000 176400 192000 352800 384000 705600 768000 ];
+        "default.clock.quantum" = 1024;
+        "default.clock.min-quantum" = 128;
+        "default.clock.max-quantum" = 2048;
+      };
+    };
+    "11-upmix" = {
+      "stream.properties" = {
+        "channel.upmix" = true;
+      };
+    };
+  };
+
+  # [Fix KWIN locking to 60Hz]
+  environment.sessionVariables = {
+      KWIN_X11_NO_SYNC_TO_VBLANK = 1;
+      KWIN_X11_REFRESH_RATE = 144000;
+      KWIN_X11_FORCE_SOFTWARE_VSYNC = 1;
+  };
+
+  # [NETWORKING]
+  networking.hostName = "computational";
+  networking.networkmanager.enable = true;
+
+  system.stateVersion = "24.05";
+}

nixos/lambda/configuration.nix

@@ -5,6 +5,7 @@
     [ # Include the results of the hardware scan.
       ./hardware-configuration.nix
     ];
+
   hardware.opengl = {
     enable = true;
     driSupport = true;
@@ -35,7 +36,7 @@
     device = "nodev";
     efiSupport = true;
     enableCryptodisk = true;
-    theme = ../shared/sayonara;
+    theme = ../../resources/grub-theme;
   };
 
   boot.loader.efi.efiSysMountPoint = "/boot/efi";
@@ -61,5 +62,5 @@
     wifi.macAddress = "random";
   };
 
-  system.stateVersion = "23.11";
+  system.stateVersion = "24.05";
 }

nixos/shared/graphical.nix

@@ -0,0 +1,48 @@
+system: config: { pkgs, ... }:
+{
+  # [DESKTOP / XORG / WAYLAND]
+  services.libinput = {
+    enable = true;
+    touchpad = {
+      naturalScrolling = true;
+      accelProfile = "flat" ;
+      tapping = false;
+    };
+  };
+  services.xserver = {
+    enable = true;
+    displayManager.startx.enable = true;
+  };
+  services.desktopManager.plasma6.enable = true;
+  programs.slock.enable = config.i3-plasma;
+
+  # [SOUND]
+  sound.enable = false;
+  security.rtkit.enable = true;
+  services.pipewire = {
+    enable = true;
+
+    alsa = {
+      enable = true;
+      support32Bit = true;
+    };
+
+    pulse.enable = true;
+
+    jack.enable = true;
+
+    wireplumber.enable = true;
+  };
+
+  programs.virt-manager.enable = true;
+  virtualisation.libvirtd.enable = true;
+
+  programs.gamemode = {
+    enable = config.steam;
+    settings.general.renice = 20;
+  };
+  programs.steam.enable = config.steam;
+  nixpkgs.config.allowUnfree = true;
+
+  hardware.logitech.wireless.enable = true;
+}

nixos/shared/user-system.nix

@@ -1,20 +1,5 @@
-{ pkgs, ... }:
+system: config: { pkgs, ... }:
 {
-  services.openssh = {
-    enable = true;
-    settings = {
-      PasswordAuthentication = false;
-      PermitRootLogin = "no";
-    };
-  };
-
-  # [NFS]
-  fileSystems."/home/rachel/music" = {
-    device = "rachel.cafe:/srv/music";
-    fsType = "nfs";
-    options = [ "x-systemd.automount" "noauto" "x-systemd.idle-timeout=60" ];
-  };
-
   # [LOCALE]
   time.timeZone = "Europe/Stockholm";
   i18n.defaultLocale = "en_GB.UTF-8";
@@ -29,8 +14,8 @@
     };
     gc = {
       automatic = true;
-      dates = "monthly";
-      options = "--delete-older-than 30d";
+      dates = "weekly";
+      options = "--delete-older-than 7d";
     };
     registry = {
       templates = {
@@ -46,89 +31,51 @@
     };
   };
 
-  nixpkgs.config.allowUnfree = true;
-  nixpkgs.config.permittedInsecurePackages = [
-    "electron-21.4.4" # needed for whalebird
-  ];
+  # [NFS]
+  fileSystems."/home/${config.user}/music" = {
+    device = "rachel.cafe:/srv/music";
+    fsType = "nfs";
+    options = [ "x-systemd.automount" "noauto" "x-systemd.idle-timeout=60" ];
+  };
+
+  fileSystems."/mnt/eta" =
+  let secrets = import ../../secrets/eta.nix;
+  in {
+    device = "//192.168.30.33/users";
+    fsType = "cifs";
+    options = [ "username=${secrets.etaUser}" "password=${secrets.etaPass}" "uid=1000" "gid=1000" "x-systemd.automount" "noauto" "x-systemd.idle-timeout=60" ];
+  };
 
-  # [DESKTOP / XORG / WAYLAND]
   services.xserver = {
-    enable = true;
-    desktopManager.plasma5.enable = true;
-    displayManager.startx.enable = true;
     xkb = {
       layout = "fox,sus";
       options = "ctrl:nocaps";
       extraLayouts.sus = {
         description = "Swedish US";
         languages = [ "se" ];
-        symbolsFile = ../shared/sus.xkb;
+        symbolsFile = ../../resources/sus.xkb;
       };
       extraLayouts.fox = {
         description = "Layout suitable to be used by a fox";
         languages = [ "se" ];
-        symbolsFile = ../shared/fox.xkb;
-      };
-    };
-    libinput = {
-      enable = true;
-      touchpad = {
-        naturalScrolling = true;
-        accelProfile = "flat" ;
-        tapping = false;
+        symbolsFile = ../../resources/fox.xkb;
       };
     };
   };
 
+  # [PACKAGES / PROGRAMS]
+  environment.systemPackages = with pkgs; [
+    git
+    git-crypt
+    neovim
+  ];
+
   # [TTY]
   console = {
     useXkbConfig = true;
     font = "LatGrkCyr-12x22";
   };
 
-  # [SOUND]
-  sound.enable = false;
-  security.rtkit.enable = true;
-  services.pipewire = {
-    enable = true;
-
-    alsa = {
-      enable = true;
-      support32Bit = true;
-    };
-
-    pulse.enable = true;
-
-    jack.enable = true;
-
-    wireplumber.enable = true;
-  };
-
-
-  # [PACKAGES / PROGRAMS]
-  environment.systemPackages = with pkgs; [
-    git
-    neovim
-  ];
-  programs.gamemode = {
-    enable = true;
-    settings.general.renice = 20;
-  };
-  programs.steam.enable = true;
-  ssbm.gcc = {
-    rules.enable = true;
-    oc-kmod.enable = true;
-  };
-
-  # [SERVICES]
-  services.printing.enable = true;
-  virtualisation.docker.enable = true;
-
-  # [SECURITY / FIREWALL]
-  networking.firewall.enable = true;
-  networking.firewall.allowedTCPPorts = [ 22 ];
-  networking.firewall.allowedUDPPorts = [ ];
-
   security.doas = {
     enable = true;
     extraRules = [{
@@ -139,8 +86,10 @@
     }];
   };
   # [USER]
-  users.users.rachel = {
+  users.users.${config.user} = {
     isNormalUser = true;
+    shell = pkgs.zsh;
+    ignoreShellProgramCheck = true;
     extraGroups = [
       "wheel"
       "networkmanager"
@@ -148,11 +97,23 @@
       "input"
       "audio"
       "docker"
+      "libvirtd"
     ];
   };
   # Done for gamemoderun
   security.pam.loginLimits = [
-    { domain = "rachel"; item = "nice"; "type" = "soft"; value = "-20"; }
-    { domain = "rachel"; item = "nice"; "type" = "hard"; value = "-20"; }
+    { domain = "${config.user}"; item = "nice"; "type" = "soft"; value = "-20"; }
+    { domain = "${config.user}"; item = "nice"; "type" = "hard"; value = "-20"; }
   ];
+
+  # [SERVICES]
+  services.printing.enable = true;
+  virtualisation.docker.enable = true;
+  services.mullvad-vpn.enable = true;
+
+
+  # [SECURITY / FIREWALL]
+  networking.firewall.enable = true;
+  networking.firewall.allowedTCPPorts = [ 22 ];
+  networking.firewall.allowedUDPPorts = [ ];
 }

nixos/transient/configuration.nix

@@ -0,0 +1,43 @@
+# Edit this configuration file to define what should be installed on
+# your system. Help is available in the configuration.nix(5) man page, on
+# https://search.nixos.org/options and in the NixOS manual (`nixos-help`).
+
+{ config, lib, pkgs, ... }:
+
+{
+  imports =
+    [ # Include the results of the hardware scan.
+      ./hardware-configuration.nix
+    ];
+
+  # HW
+  hardware.opengl = {
+    enable = true;
+    driSupport = true;
+    driSupport32Bit = true;
+    extraPackages = with pkgs; [
+      intel-ocl
+      intel-compute-runtime
+      intel-media-driver
+      vaapiIntel
+      vaapiVdpau
+      libvdpau-va-gl
+    ];
+  };
+  hardware.bluetooth.enable = true;
+
+  # Use the systemd-boot EFI boot loader.
+  boot.loader.systemd-boot.enable = true;
+  boot.loader.efi.canTouchEfiVariables = true;
+
+  networking.hostName = "transient";
+  networking.networkmanager = {
+    enable = true;
+    wifi.powersave = true;
+    wifi.scanRandMacAddress = true;
+    wifi.macAddress = "random";
+  };
+
+  system.stateVersion = "24.05"; # Did you read the comment?
+}
+

nixos/transient/hardware-configuration.nix

@@ -0,0 +1,41 @@
+# Do not modify this file!  It was generated by ‘nixos-generate-config’
+# and may be overwritten by future invocations.  Please make changes
+# to /etc/nixos/configuration.nix instead.
+{ config, lib, pkgs, modulesPath, ... }:
+
+{
+  imports =
+    [ (modulesPath + "/installer/scan/not-detected.nix")
+    ];
+
+  boot.initrd.availableKernelModules = [ "xhci_pci" "nvme" "usb_storage" "sd_mod" "rtsx_pci_sdmmc" ];
+  boot.initrd.kernelModules = [ ];
+  boot.kernelModules = [ "kvm-intel" ];
+  boot.extraModulePackages = [ ];
+
+  fileSystems."/" =
+    { device = "/dev/disk/by-uuid/b8c4fa67-322b-46a7-9fe9-8dc5d020f891";
+      fsType = "ext4";
+    };
+
+  fileSystems."/boot" =
+    { device = "/dev/disk/by-uuid/A4F2-F615";
+      fsType = "vfat";
+      options = [ "fmask=0022" "dmask=0022" ];
+    };
+
+  swapDevices =
+    [ { device = "/dev/disk/by-uuid/dc2f5eb3-3447-4ae6-adc9-790adee78555"; }
+    ];
+
+  # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
+  # (the default) this is the recommended approach. When using systemd-networkd it's
+  # still possible to use this option, but it's recommended to use it in conjunction
+  # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
+  networking.useDHCP = lib.mkDefault true;
+  # networking.interfaces.enp0s31f6.useDHCP = lib.mkDefault true;
+  # networking.interfaces.wlp0s20f3.useDHCP = lib.mkDefault true;
+
+  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
+  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
+}

pkgs/bqn-nvim.nix

@@ -0,0 +1,10 @@
+{ pkgs, ... }:
+pkgs.vimUtils.buildVimPlugin {
+  name = "bqn-nvim";
+  src = pkgs.fetchFromSourcehut {
+    owner = "~detegr";
+    repo = "nvim-bqn";
+    rev = "52d8b49f3ebc32d340e2e2b8dba1f6bbd1873b78";
+    hash = "sha256-5wITedTuUn9BKLqmQtPWeFNOa8dXfPIRpUvPSkNJcas=";
+  };
+}

pkgs/bqn-vim.nix

@@ -0,0 +1,10 @@
+{ pkgs, ... }:
+pkgs.vimUtils.buildVimPlugin {
+  name = "bqn-vim";
+  src = "${pkgs.fetchFromGitHub {
+    owner = "mlochbaum";
+    repo = "BQN";
+    rev = "f4b09b675386c789c8296c96874871916a3abdcf";
+    hash = "sha256-rvsageS5sYF9QvWuoRutjx5i0ngrfhGvIPRO834pwwM=";
+  }}/editors/vim";
+}

pkgs/cpypsk.nix

@@ -0,0 +1,13 @@
+{ pkgs, pash, ... }:
+pkgs.writeScript "cpypsk" ''
+  #!/bin/sh
+
+  D="''${PASH_DIR:-$HOME/.local/share/pash}"
+  D="''${D%/}"
+
+  for f in "$D"/*.gpg; do
+    n="''${f#$D/}"
+    n="''${n%.gpg}"
+    printf '%s\n' "$n"
+  done | ${pkgs.rofi}/bin/rofi -dmenu | xargs ${pash}/bin/pash copy
+''

pkgs/eyezoom.nix

@@ -0,0 +1,44 @@
+{ pkgs, ... }:
+pkgs.writeScript "eyezoom" ''
+arg="$1"
+
+set -- $(
+  ${pkgs.xorg.xrandr}/bin/xrandr | 
+    ${pkgs.gawk}/bin/awk -F "[x+ ]" '/primary/ { print $4" "$5" "$6" "$7 }'
+  )
+
+W="$1"
+H="$2"
+offx="$3"
+offy="$4"
+
+ZH=16384
+ZW=1920
+
+WDIV=4
+
+WIDEDIV=2
+
+mouse="pointer:pulsar X2H Mini"
+normalaccel=0
+zoomaccel=-0.9
+
+case "$arg" in
+  eye)
+    ${pkgs.wmctrl}/bin/wmctrl -R ':ACTIVE:' -e 0,$(( offx - (ZW / 2) + (W / 2) )),$(( offy - (ZH / 2) + (H / 2) )),$ZW,$ZH
+    xinput set-prop "$mouse" "libinput Accel Speed" $zoomaccel
+  ;;
+  tiktok)
+    ${pkgs.wmctrl}/bin/wmctrl -R ':ACTIVE:' -e 0,$(( offx - ((W/WDIV)/2) + (W/2))),$offy,$((W/WDIV)),$H
+    xinput set-prop "$mouse" "libinput Accel Speed" $normalaccel
+  ;;
+  wide)
+    ${pkgs.wmctrl}/bin/wmctrl -R ':ACTIVE:' -e 0,$offx,$(( offy - ((H / WIDEDIV) / 2) + (H / 2) )),$W,$((H/WIDEDIV))
+    xinput set-prop "$mouse" "libinput Accel Speed" $normalaccel
+  ;;
+  *)
+    ${pkgs.wmctrl}/bin/wmctrl -R ':ACTIVE:' -e 0,$offx,$offy,$W,$H
+    xinput set-prop "$mouse" "libinput Accel Speed" $normalaccel
+  ;;
+esac
+''

pkgs/pash.nix

@@ -0,0 +1,15 @@
+{ pkgs, ... }:
+pkgs.stdenv.mkDerivation {
+  name = "pash";
+  src = pkgs.fetchFromGitHub {
+    owner = "rachelambda";
+    repo = "pash";
+    rev = "5fa05003ec63256dce2d6071a33f254439096e94";
+    hash = "sha256-AFAvtLWMWRSdRxZB3Mo9U9TD/x0s4m8tZMt7M3tRVlM=";
+  };
+  phases = [ "installPhase" ];
+  installPhase = ''
+    mkdir -p $out/bin
+    install -Dm755 $src/pash $out/bin/pash
+  '';
+}

pkgs/protonmail-desktop.nix

@@ -0,0 +1,63 @@
+{ pkgs, ... }:
+let mainProgram = "proton-mail";
+    srcHashes = {
+      universal-darwin = "sha256-JfZwHFp0aZtHcbP7tyG7uqFs2w+LWKfnfyuxxpxDJZ8=";
+      x86_64-linux = "sha256-En5vkTHYtwN6GMgbtyhzsPqknOPRO9KlTqZfbBFaIFQ=";
+    };
+in
+pkgs.stdenv.mkDerivation rec {
+  pname = mainProgram;
+  version = "1.0.5";
+  nativeBuildInputs = [
+    pkgs.makeWrapper
+  ] 
+  ++ pkgs.lib.optional pkgs.stdenv.isLinux pkgs.dpkg 
+  ++ pkgs.lib.optional pkgs.stdenv.isDarwin pkgs.unzip;
+  src = pkgs.fetchurl {
+    url =
+      if pkgs.stdenv.isDarwin then
+        "https://github.com/ProtonMail/inbox-desktop/releases/download/${version}/Proton.Mail-darwin-universal-${version}.zip"
+      else
+        "https://github.com/ProtonMail/inbox-desktop/releases/download/${version}/proton-mail_${version}_amd64.deb";
+    sha256 =
+      {
+        x86_64-linux = srcHashes.x86_64-linux;
+        x86_64-darwin = srcHashes.universal-darwin;
+        aarch64-darwin = srcHashes.universal-darwin;
+      }
+      .${pkgs.stdenv.hostPlatform.system} or (throw "unsupported system ${pkgs.stdenv.hostPlatform.system}");
+  };
+
+  sourceRoot = pkgs.lib.optionalString pkgs.stdenv.isDarwin ".";
+
+  dontConfigure = true;
+  dontBuild = true;
+
+  installPhase =
+    let
+      darwin = ''
+        mkdir -p $out/{Applications,bin}
+        cp -r "Proton Mail.app" $out/Applications/
+        makeWrapper $out/Applications/"Proton Mail.app"/Contents/MacOS/Proton\ Mail $out/bin/protonmail-desktop
+      '';
+      linux = ''
+        runHook preInstall
+        mkdir -p $out
+        cp -r usr/share/ $out/
+        cp -r usr/lib/ $out/
+      '';
+
+    in
+    ''
+      runHook preInstall
+
+      ${if pkgs.stdenv.isDarwin then darwin else linux}
+
+      runHook postInstall
+    '';
+
+    preFixup = pkgs.lib.optionalString pkgs.stdenv.isLinux ''
+      makeWrapper ${pkgs.steam-run}/bin/steam-run $out/bin/${mainProgram} \
+        --add-flags "$out'/lib/proton-mail/Proton Mail Beta'"
+    '';
+}

pkgs/renoise.nix

@@ -0,0 +1,21 @@
+{ pkgs, ... }:
+let
+  platforms = {
+    x86_64-linux = {
+      archSuffix = "x86_64";
+      hash = "sha256-b+YXBVnxu54HfC/tWapcs/ZYzwBOJswYbEbEU3SVNss=";
+    };
+    aarch64-linux = {
+      archSuffix = "arm64";
+      hash = "sha256-AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA=";
+    };
+  };
+  platform = platforms.${pkgs.stdenv.system} or (throw "unsupported system ${pkgs.stdenv.hostPlatform.system}");
+in
+pkgs.renoise.overrideAttrs (final: prev: { 
+  version = "3.4.4"; 
+  src = pkgs.fetchurl {
+    url = "https://files.renoise.com/demo/Renoise_3_4_4_Demo_Linux_${platform.archSuffix}.tar.gz";
+    hash = platform.hash;
+  };
+})

pkgs/shell-menu.nix

@@ -0,0 +1,20 @@
+{ pkgs, ... }:
+pkgs.writeScript "tmux-menu" ''
+  s="$(${pkgs.tmux}/bin/tmux ls 2>/dev/null)"
+  [ "$s" ] && s="$s
+  "
+  c=$(${pkgs.fzf}/bin/fzf -1 <<-EOF
+  ''${s}New Session
+  Raw Shell
+  EOF
+  ) || exit
+  case "$c" in
+    "New Session")
+      read -p "Name? " -r n
+      ${pkgs.tmux}/bin/tmux new -s "$n" ;;
+    "Raw Shell")
+      ${pkgs.bashInteractive}/bin/bash --login ;;
+    *)
+      ${pkgs.tmux}/bin/tmux attach-session -t "''${c%%:*}" ;;
+  esac
+''

pkgs/wall.nix

@@ -0,0 +1,9 @@
+{ pkgs, ... }:
+pkgs.stdenv.mkDerivation {
+  name = "wallpaper.jpg";
+  src = ./..;
+  phases = [ "installPhase" ];
+  installPhase = ''
+    cp $src/resources/wallpaper.jpg $out
+  '';
+}

readme.md

@@ -3,6 +3,8 @@
 My flake-based nixos configuration.
 
 * `flake.nix`: flake defining configurations
-* `home`: contains home-manager user configs
-* `lambda`: contains config for laptop
-* `shared`: contains assets shared accross installs
+* `hame-manager`: contains home-manager modules
+* `nixos`: contains nixos configuration modules
+* `pkgs`: contains derivations used by my config
+* `resources`: contains files needed for other parts
+* `secrets`: contains secret passwords using git-crypt

resources/fox.xkb

@@ -55,5 +55,7 @@ xkb_symbols "fox" {
   key <AB09> {[ v,           V,            VoidSymbol,   VoidSymbol   ]};
   key <AB10> {[ z,           Z,            VoidSymbol,   VoidSymbol   ]};
 
+  key <SPCE> {[ space,       space,        space,        space        ]};
+
 };
 

resources/rofi-theme/spotlight-dark.rasi

@@ -0,0 +1,102 @@
+/*******************************************************************************
+ * MACOS SPOTLIGHT LIKE DARK THEME FOR ROFI 
+ * User                 : LR-Tech               
+ * Theme Repo           : https://github.com/lr-tech/rofi-themes-collection
+ *******************************************************************************/
+
+* {
+    font:   "Montserrat 12";
+
+    bg0:    #242424E6;
+    bg1:    #7E7E7E80;
+    bg2:    #0860f2E6;
+
+    fg0:    #DEDEDE;
+    fg1:    #FFFFFF;
+    fg2:    #DEDEDE80;
+
+    background-color:   transparent;
+    text-color:         @fg0;
+
+    margin:     0;
+    padding:    0;
+    spacing:    0;
+}
+
+window {
+    background-color:   @bg0;
+
+    location:       center;
+    width:          640;
+    border-radius:  8;
+}
+
+inputbar {
+    font:       "Montserrat 20";
+    padding:    12px;
+    spacing:    12px;
+    children:   [ icon-search, entry ];
+}
+
+icon-search {
+    expand:     false;
+    filename:   "search";
+    size: 28px;
+}
+
+icon-search, entry, element-icon, element-text {
+    vertical-align: 0.5;
+}
+
+entry {
+    font:   inherit;
+
+    placeholder         : "Search";
+    placeholder-color   : @fg2;
+}
+
+message {
+    border:             2px 0 0;
+    border-color:       @bg1;
+    background-color:   @bg1;
+}
+
+textbox {
+    padding:    8px 24px;
+}
+
+listview {
+    lines:      10;
+    columns:    1;
+
+    fixed-height:   false;
+    border:         1px 0 0;
+    border-color:   @bg1;
+}
+
+element {
+    padding:            8px 16px;
+    spacing:            16px;
+    background-color:   transparent;
+}
+
+element normal active {
+    text-color: @bg2;
+}
+
+element alternate active {
+    text-color: @bg2;
+}
+
+element selected normal, element selected active {
+    background-color:   @bg2;
+    text-color:         @fg1;
+}
+
+element-icon {
+    size:   1em;
+}
+
+element-text {
+    text-color: inherit;
+}

resources/sus.xkb

@@ -5,4 +5,5 @@ xkb_symbols "sus" {
   key <AD11> {[ bracketleft, braceleft, aring,      Aring      ]};
   key <AC10> {[ semicolon,   colon,     odiaeresis, Odiaeresis ]};
   key <AC11> {[ apostrophe,  quatedbl,  adiaeresis, Adiaeresis ]};
+  key <SPCE> {[ space,       space,     space,      space      ]};
 };