mirror of
https://github.com/nix-community/home-manager.git
synced 2026-10-04 20:49:23 +00:00
fe48612c53
Use native INI settings instead of a copied option schema, retaining legacy conversions, default behavior, and font-package installation. Preserve extraConfig's final override while users migrate to settings.
32 lines
493 B
Plaintext
32 lines
493 B
Plaintext
[gui]
|
|
always_on_top=true
|
|
background_color=black
|
|
bounce=true
|
|
bounce_duration=271
|
|
font=Noto Sans
|
|
font_size=16
|
|
font_variant=italic
|
|
foreground_color=#FF00FF
|
|
height=20
|
|
in_animation=11
|
|
in_animation_duration=50
|
|
max_length=80
|
|
offset_x=+20
|
|
offset_y=-60
|
|
opacity=80
|
|
out_animation=25
|
|
out_animation_duration=333
|
|
position=center
|
|
screen=0
|
|
|
|
[icons]
|
|
critical=/path/icon/critical
|
|
info=/path/icon/info
|
|
warning=/path/icon/warning
|
|
|
|
[main]
|
|
duration=4242
|
|
host=example.com
|
|
port=9006
|
|
sound_command=/path/sound/command
|