From a6bd46ab494c2d82abb2e19351d2ee37cd194757 Mon Sep 17 00:00:00 2001
From: Michael Mandl <mandlm@molez.net>
Date: Mon, 27 Jun 2022 18:42:10 +0200
Subject: [PATCH] feat: use rofi instead of drun

---
 home-manager/i3/default.nix |  2 ++
 home-manager/rofi.nix       | 13 +++++++++++++
 home-mandlm.nix             |  1 +
 3 files changed, 16 insertions(+)
 create mode 100644 home-manager/rofi.nix

diff --git a/home-manager/i3/default.nix b/home-manager/i3/default.nix
index d061f16..6f09068 100644
--- a/home-manager/i3/default.nix
+++ b/home-manager/i3/default.nix
@@ -26,6 +26,8 @@
         border = 0;
       };
 
+      menu = "${pkgs.rofi}/bin/rofi -show drun";
+
       bars = [{
         mode = "hide";
         position = "top";
diff --git a/home-manager/rofi.nix b/home-manager/rofi.nix
new file mode 100644
index 0000000..0c75bfd
--- /dev/null
+++ b/home-manager/rofi.nix
@@ -0,0 +1,13 @@
+{ config, lib, pkgs, user, ... }:
+
+{
+  programs.rofi = {
+    enable = true;
+    font = "DejaVu Sans Mono 12";
+    terminal = "${pkgs.kitty}/bin/kitty";
+    extraConfig = {
+      show-icons = true;
+      matching = "fuzzy";
+    };
+  };
+}
diff --git a/home-mandlm.nix b/home-mandlm.nix
index 537b5d0..9e01a0f 100644
--- a/home-mandlm.nix
+++ b/home-mandlm.nix
@@ -42,5 +42,6 @@
     home-manager/zsh.nix
     home-manager/starship.nix
     home-manager/i3
+    ./home-manager/rofi.nix
   ];
 }