2020-03-28 22:48:43 -07:00
|
|
|
{ config, options, lib, pkgs, ... }:
|
2019-11-26 14:04:14 -08:00
|
|
|
|
2020-03-28 22:48:43 -07:00
|
|
|
with lib;
|
2019-11-26 14:04:14 -08:00
|
|
|
{
|
2020-03-28 22:48:43 -07:00
|
|
|
options.modules.desktop.apps.rofi = {
|
|
|
|
enable = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
2020-01-12 15:17:17 -08:00
|
|
|
};
|
2020-03-28 22:48:43 -07:00
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf config.modules.desktop.apps.rofi.enable {
|
|
|
|
my = {
|
|
|
|
# link recursively so other modules can link files in its folder
|
2020-04-23 22:01:24 -07:00
|
|
|
# home.xdg.configFile."rofi" = {
|
|
|
|
# source = <config/rofi>;
|
|
|
|
# recursive = true;
|
|
|
|
# };
|
2020-01-12 15:17:17 -08:00
|
|
|
|
2020-03-28 22:48:43 -07:00
|
|
|
packages = with pkgs; [
|
|
|
|
(writeScriptBin "rofi" ''
|
|
|
|
#!${stdenv.shell}
|
|
|
|
exec ${rofi}/bin/rofi -terminal xst -m -1 "$@"
|
|
|
|
'')
|
2019-12-08 13:44:35 -08:00
|
|
|
|
2020-03-28 22:48:43 -07:00
|
|
|
# For rapidly test changes to rofi's stylesheets
|
|
|
|
# (writeScriptBin "rofi-test" ''
|
|
|
|
# #!${stdenv.shell}
|
|
|
|
# themefile=$1
|
|
|
|
# themename=${modules.theme.name}
|
|
|
|
# shift
|
|
|
|
# exec rofi \
|
|
|
|
# -theme ~/.dotfiles/modules/themes/$themename/rofi/$themefile \
|
|
|
|
# "$@"
|
|
|
|
# '')
|
2019-12-09 00:50:27 -08:00
|
|
|
|
2020-03-28 22:48:43 -07:00
|
|
|
# Fake rofi dmenu entries
|
|
|
|
(makeDesktopItem {
|
|
|
|
name = "rofi-bookmarkmenu";
|
|
|
|
desktopName = "Open Bookmark in Browser";
|
|
|
|
icon = "bookmark-new-symbolic";
|
|
|
|
exec = "${<bin/rofi/bookmarkmenu>}";
|
|
|
|
})
|
|
|
|
(makeDesktopItem {
|
|
|
|
name = "rofi-filemenu";
|
|
|
|
desktopName = "Open Directory in Terminal";
|
|
|
|
icon = "folder";
|
|
|
|
exec = "${<bin/rofi/filemenu>}";
|
|
|
|
})
|
|
|
|
(makeDesktopItem {
|
|
|
|
name = "rofi-filemenu-scratch";
|
|
|
|
desktopName = "Open Directory in Scratch Terminal";
|
|
|
|
icon = "folder";
|
|
|
|
exec = "${<bin/rofi/filemenu>} -x";
|
|
|
|
})
|
|
|
|
|
|
|
|
(makeDesktopItem {
|
|
|
|
name = "lock-display";
|
|
|
|
desktopName = "Lock screen";
|
|
|
|
icon = "system-lock-screen";
|
|
|
|
exec = "${<bin/zzz>}";
|
|
|
|
})
|
|
|
|
];
|
|
|
|
};
|
2019-11-26 14:04:14 -08:00
|
|
|
};
|
|
|
|
}
|