From 9474958fef3223bb634407fcf6f29c82da10b530 Mon Sep 17 00:00:00 2001
From: Alan Pearce
Date: Mon, 21 Oct 2019 14:01:31 +0200
Subject: rofi: create dmenu alias

---
 user/settings/rofi.nix | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'user')

diff --git a/user/settings/rofi.nix b/user/settings/rofi.nix
index b34af881..4e230866 100644
--- a/user/settings/rofi.nix
+++ b/user/settings/rofi.nix
@@ -1,4 +1,4 @@
-{ config, pkgs, ... }:
+{ config, lib, pkgs, ... }:
 
 {
   xdg.configFile."networkmanager-dmenu/config.ini".text = ''
@@ -9,6 +9,16 @@
     terminal = xst
     gui_if_available = false
   '';
+
+  nixpkgs.overlays = [
+    (self: super: {
+      rofi= super.rofi.overrideAttrs (oldAttrs: rec {
+        postInstall = ''
+          ln $out/bin/rofi $out/bin/dmenu
+        '';
+      });
+    })
+  ];
   programs.rofi = {
     enable = true;
     extraConfig = ''
-- 
cgit 1.4.1