2022-07-03 00:36:10 +02:00
|
|
|
(define-module (oni home services rofi)
|
2022-03-30 21:26:45 +02:00
|
|
|
#:use-module (gnu services configuration)
|
|
|
|
#:use-module (gnu packages xdisorg)
|
|
|
|
#:use-module (gnu home services)
|
|
|
|
#:use-module (gnu home services utils)
|
|
|
|
#:use-module (guix packages)
|
|
|
|
#:use-module (guix gexp)
|
|
|
|
#:use-module (guix records)
|
|
|
|
#:use-module (guix i18n)
|
|
|
|
#:use-module (guix modules)
|
|
|
|
#:use-module (guix diagnostics)
|
2022-04-21 07:23:27 +02:00
|
|
|
#:use-module (oni home services xbindkeys)
|
2022-03-30 21:26:45 +02:00
|
|
|
#:use-module (srfi srfi-1)
|
|
|
|
#:use-module (srfi srfi-26)
|
|
|
|
#:use-module (ice-9 match)
|
|
|
|
#:use-module (ice-9 regex)
|
|
|
|
#:use-module (ice-9 common-list)
|
|
|
|
|
|
|
|
#:export (home-rofi-service-type
|
2022-09-23 07:57:15 +02:00
|
|
|
home-rofi-configuration
|
|
|
|
|
|
|
|
home-rofi-default-service))
|
2022-03-30 21:26:45 +02:00
|
|
|
|
|
|
|
;;; This module has been copied from
|
|
|
|
;;; https://github.com/nouun/jayu/blob/92ff6629da686f0ddc96a4d6cb2a657c76795bc6/jayu/home/services/xdisorg.scm
|
|
|
|
|
|
|
|
(define-configuration/no-serialization home-rofi-configuration
|
|
|
|
(package
|
|
|
|
(package rofi)
|
|
|
|
"Package to use for setting Rofi")
|
|
|
|
(config (alist '())
|
|
|
|
"rofi config")
|
|
|
|
(theme (alist '())
|
|
|
|
"theme config"))
|
|
|
|
|
|
|
|
(define color-regexp
|
|
|
|
(make-regexp
|
|
|
|
(string-append
|
|
|
|
"("
|
|
|
|
;; #RGB
|
|
|
|
"#[a-zA-Z0-9]{3}" "|"
|
|
|
|
;; #RGBA
|
|
|
|
"#[a-zA-Z0-9]{4}" "|"
|
|
|
|
;; #RRGGBB
|
|
|
|
"#[a-zA-Z0-9]{6}" "|"
|
|
|
|
;; #RRGGBBAA
|
|
|
|
"#[a-zA-Z0-9]{8}" "|"
|
|
|
|
;; rgb(123, 123, 123)
|
|
|
|
"rgba?. *[0-9]{1,3} *%? *, *[0-9]{1,3} *%? *, *[0-9]{1,3} *%? *" "|"
|
|
|
|
;; rgba(123, 123, 123, 0.1)
|
|
|
|
"rgba?. *[0-9]{1,3} *%? *, *[0-9]{1,3} *%? *, *[0-9]{1,3} *%? *, [0-9]\\.[0-9]*" "|"
|
|
|
|
;; rgba(123, 123, 123, 100%)
|
|
|
|
"rgba?. *[0-9]{1,3} *%? *, *[0-9]{1,3} *%? *, *[0-9]{1,3} *%? *, [0-9]{1,3} *% *"
|
|
|
|
;;children
|
|
|
|
")")))
|
|
|
|
|
|
|
|
(define (format-rofi-value val)
|
|
|
|
(cond
|
|
|
|
((list? val)
|
|
|
|
(string-join (map format-rofi-value val) " "))
|
|
|
|
((boolean? val)
|
|
|
|
(if val "true" "false"))
|
|
|
|
((number? val)
|
|
|
|
(string-append
|
|
|
|
(object->string val)
|
|
|
|
(if (not (eq? 0 val))
|
|
|
|
"px" "")))
|
|
|
|
((symbol? val)
|
|
|
|
(object->string val))
|
|
|
|
((string? val)
|
|
|
|
(let ((color-match (regexp-exec color-regexp val)))
|
2022-07-04 04:00:35 +02:00
|
|
|
(if (or (string-prefix? "@" val)
|
|
|
|
(regexp-match? color-match))
|
|
|
|
val
|
|
|
|
(string-append "\"" val "\""))))
|
2022-03-30 21:26:45 +02:00
|
|
|
(else val)))
|
|
|
|
|
|
|
|
(define (format-rofi-config config)
|
|
|
|
(let ((key (object->string (car config)))
|
|
|
|
(value (cdr config)))
|
|
|
|
(define (format-children children)
|
|
|
|
(string-append
|
|
|
|
"[" (string-join (map object->string children) ",") "]"))
|
|
|
|
(string-append key ": "
|
|
|
|
(if (eq? 'children (car config))
|
|
|
|
(format-children value)
|
|
|
|
(format-rofi-value value))
|
|
|
|
";")))
|
|
|
|
|
|
|
|
(define (serialize-rofi-config config)
|
|
|
|
(list
|
|
|
|
(string-append
|
|
|
|
"configuration {\n "
|
|
|
|
(string-join (map format-rofi-config config) "\n ")
|
|
|
|
"\n}\n")))
|
|
|
|
|
|
|
|
(define (format-rofi-theme theme)
|
2022-04-02 10:35:20 +02:00
|
|
|
(let ((keys (map (lambda (s)
|
|
|
|
(if (symbol? s)
|
|
|
|
(symbol->string s)
|
|
|
|
(object->string s)))
|
|
|
|
(butlast theme 1)))
|
2022-03-30 21:26:45 +02:00
|
|
|
(values (car (list-tail theme (- (length theme) 1)))))
|
|
|
|
(string-append (string-join keys ", ")
|
|
|
|
" {\n "
|
|
|
|
(string-join
|
|
|
|
(map format-rofi-config values)
|
|
|
|
"\n ")
|
|
|
|
"\n}\n")))
|
|
|
|
|
|
|
|
(define (serialize-rofi-theme theme)
|
|
|
|
(string-join (map format-rofi-theme theme) "\n"))
|
|
|
|
|
|
|
|
(define (home-rofi-files-service conf)
|
2022-06-14 07:11:10 +02:00
|
|
|
`(("rofi/config.rasi"
|
2022-03-30 21:26:45 +02:00
|
|
|
,(apply mixed-text-file
|
|
|
|
"config.rasi"
|
|
|
|
(append
|
|
|
|
;; Main config
|
|
|
|
(serialize-rofi-config
|
|
|
|
(home-rofi-configuration-config conf))
|
|
|
|
;; Apply theme
|
|
|
|
(if (not (eq? (home-rofi-configuration-theme conf) '()))
|
2022-07-04 04:00:35 +02:00
|
|
|
(list "\n@import \"guix\"\n") '()))))
|
2022-06-14 07:11:10 +02:00
|
|
|
("rofi/guix.rasi"
|
2022-03-30 21:26:45 +02:00
|
|
|
,(mixed-text-file
|
|
|
|
"guix.rasi"
|
|
|
|
(serialize-rofi-theme
|
|
|
|
(home-rofi-configuration-theme conf))))))
|
|
|
|
|
|
|
|
(define (home-rofi-profile-service config)
|
|
|
|
(list (home-rofi-configuration-package config)))
|
|
|
|
|
|
|
|
(define (home-rofi-extension old-config extension-configs)
|
|
|
|
(match old-config
|
|
|
|
(($ <home-rofi-configuration> _ package* config* theme*)
|
|
|
|
(home-rofi-configuration
|
|
|
|
(package package*)
|
|
|
|
(config (append config*
|
|
|
|
(append-map home-rofi-configuration-config
|
|
|
|
extension-configs)))
|
|
|
|
(theme (append theme*
|
|
|
|
(append-map home-rofi-configuration-theme
|
|
|
|
extension-configs)))))))
|
|
|
|
|
2022-04-21 07:23:27 +02:00
|
|
|
(define (add-rofi-xbindkeys-keybindings config)
|
|
|
|
(home-xbindkeys-extension
|
|
|
|
(keybindings
|
2022-10-05 08:19:34 +02:00
|
|
|
'(((mod4 r) . "herbstclient spawn rofi -modi drun -show drun")
|
2022-04-21 07:23:27 +02:00
|
|
|
((mod4 w) . "herbstclient spawn rofi -show window -window-command \"/home/chelys/usr/bin/hlwm-switch-to-window {window}\"")))))
|
|
|
|
|
2022-03-30 21:26:45 +02:00
|
|
|
(define home-rofi-service-type
|
|
|
|
(service-type (name 'home-rofi)
|
|
|
|
(extensions
|
|
|
|
(list (service-extension
|
2022-06-14 07:11:10 +02:00
|
|
|
home-xdg-configuration-files-service-type
|
2022-03-30 21:26:45 +02:00
|
|
|
home-rofi-files-service)
|
|
|
|
(service-extension
|
|
|
|
home-profile-service-type
|
2022-04-21 07:23:27 +02:00
|
|
|
home-rofi-profile-service)
|
|
|
|
(service-extension
|
|
|
|
home-xbindkeys-service-type
|
|
|
|
add-rofi-xbindkeys-keybindings)))
|
2022-03-30 21:26:45 +02:00
|
|
|
(compose concatenate)
|
|
|
|
(extend home-rofi-extension)
|
|
|
|
(default-value (home-rofi-configuration))
|
|
|
|
(description "Configure Rofi")))
|
|
|
|
|
|
|
|
(define (generate-home-rofi-documentation)
|
|
|
|
(generate-documentation
|
|
|
|
`((home-rofi-configuration
|
|
|
|
,home-rofi-configuration-fields))
|
|
|
|
'home-rofi-configuration))
|
2022-09-23 07:57:15 +02:00
|
|
|
|
|
|
|
(define-public home-rofi-default-service
|
|
|
|
(service home-rofi-service-type
|
|
|
|
(home-rofi-configuration
|
|
|
|
(config
|
|
|
|
'((kb-cancel . "Escape,Control+g")
|
|
|
|
(window-format . "{c} {t}")))
|
|
|
|
(theme
|
|
|
|
'((* ((text-color . "#bfbfbf")
|
|
|
|
(background-color . "#3f4242")
|
|
|
|
(lightbg . "#5b6161")
|
|
|
|
(red . "#a85454")
|
|
|
|
(orange . "#faa41a")
|
|
|
|
(blue . "#1f2c3f")
|
|
|
|
|
|
|
|
(selected-normal-foreground . "@text-color")
|
|
|
|
(normal-foreground . "@text-color")
|
|
|
|
(alternate-normal-background . "@background-color")
|
|
|
|
(selected-urgent-foreground . "@text-color")
|
|
|
|
(urgent-foreground . "@text-color")
|
|
|
|
(alternate-urgent-background . "@background-color")
|
|
|
|
(active-foreground . "@text-color")
|
|
|
|
(selected-active-foreground . "@text-color")
|
|
|
|
(alternate-normal-foreground . "@text-color")
|
|
|
|
(alternate-active-background . "@blue")
|
|
|
|
(bordercolor . "@text-color")
|
|
|
|
(normal-background . "@background-color")
|
|
|
|
(selected-normal-background . "@blue")
|
|
|
|
(separatorcolor . "@orange")
|
|
|
|
(spacing . 2)
|
|
|
|
(urgent-background . "@red")
|
|
|
|
(alternate-urgent-foreground . "@text-color")
|
|
|
|
(selected-urgent-background . "@red")
|
|
|
|
(alternate-active-foreground . "@text-color")
|
|
|
|
(selected-active-background . "@blue")
|
|
|
|
(active-background . "@red")
|
|
|
|
|
|
|
|
(font . "Fantasque Sans Mono 14")))
|
|
|
|
(window ((border . 0)
|
|
|
|
(text-color . "@text-color")
|
|
|
|
(background-color . "rgba(0, 0, 0, 0%)")
|
|
|
|
(padding . 5)
|
|
|
|
(text-color . "@bordercolor")
|
|
|
|
(background-color . "@background-color")))
|
|
|
|
(mainbox ((border . 0)
|
|
|
|
(padding . 0)))
|
|
|
|
(message ((border . "1px dash 0px 0px")
|
|
|
|
(text-color . "@separatorcolor")
|
|
|
|
(padding . "2px 0px 0px")))
|
|
|
|
(textbox ((text-color . "@text-color")))
|
|
|
|
(listview ((fixed-height . 0)
|
|
|
|
(border . "2px 0px 0px")
|
|
|
|
(padding . "2px 0px 0px")
|
|
|
|
(text-color . "@separatorcolor")))
|
|
|
|
(element ((border . 0)
|
|
|
|
(children "element-icon" "element-text")
|
|
|
|
(spacing . "5px")))
|
|
|
|
(element.normal.normal ((text-color . "@normal-foreground")
|
|
|
|
(background-color . "@normal-background")))
|
|
|
|
(element.normal.urgent ((text-color . "@urgent-foreground")
|
|
|
|
(background-color . "@urgent-background")))
|
|
|
|
(element.normal.active ((text-color . "@active-foreground")
|
|
|
|
(background-color . "@active-background")))
|
|
|
|
(element.selected.urgent ((text-color . "@selected-urgent-foreground")
|
|
|
|
(background-color . "@selected-urgent-background")))
|
|
|
|
(element.selected.active ((text-color . "@selected-active-foreground")
|
|
|
|
(background-color . "@selected-active-foreground")))
|
|
|
|
(element.alternate.normal ((text-color . "@alternate-normal-foreground")
|
|
|
|
(background-color . "@alternate-normal-background")))
|
|
|
|
(element.alternate.urgent ((text-color . "@alternate-urgent-foreground")
|
|
|
|
(background-color . "@alternate-urgent-background")))
|
|
|
|
(element.alternate.active ((text-color . "@alternate-active-foreground")
|
|
|
|
(background-color . "@alternate-active-background")))
|
|
|
|
(mode-switcher ((border . "1px dash 0px 0px")))
|
|
|
|
(#{button selected}# ((text-color . "@selected-normal-foreground")
|
|
|
|
(background-color . "@selected-normal-background")))
|
|
|
|
(inputbar ((spacing . 0)
|
|
|
|
(border . "0px")
|
|
|
|
(children "prompt" "textbox-prompt-colon" "entry" "case-indicator")))
|
|
|
|
(#{button normal}# ((text-color . "@text-color")))
|
|
|
|
(text-prompt-color ((expand . #f)
|
|
|
|
(str . ":")
|
|
|
|
(margin . "0px 0.3em 0em 0em")
|
|
|
|
(text-color . "@normal-foreground"))))))))
|