tons of theme tweaks, +gruvbox
This commit is contained in:
parent
80d22a470a
commit
2ad77494b2
30 changed files with 410 additions and 371 deletions
|
|
@ -6,6 +6,7 @@ let
|
|||
in {
|
||||
options.modules.desktop.rofi = {
|
||||
enable = mkEnableOption "Enable rofi, a window switcher, run dialog and dmenu replacement";
|
||||
dmenu = mkEnableOption "Use as a replacement for dmenu";
|
||||
package = mkOption {
|
||||
type = types.package;
|
||||
default = pkgs.rofi-unwrapped;
|
||||
|
|
@ -23,5 +24,20 @@ in {
|
|||
show-icons = true;
|
||||
};
|
||||
};
|
||||
|
||||
user.packages = mkIf cfg.dmenu [ (pkgs.writeShellScriptBin "dmenu" ''
|
||||
set -euo pipefail
|
||||
|
||||
prompt="select option"
|
||||
|
||||
while [ $# -gt 0 ]; do
|
||||
case "$1" in
|
||||
-p) shift; prompt="$1" ;;
|
||||
esac
|
||||
shift
|
||||
done
|
||||
|
||||
rofi -dmenu -i -p "$prompt"
|
||||
'') ];
|
||||
};
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue