1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-14 15:19:45 +01:00
Commit graph

2 commits

Author SHA1 Message Date
Robert Helgesson
f58889c07e
gnome-terminal: add assertion on profile names 2023-07-29 19:43:20 +02:00
Kevin Amado
e92f5bb79e
programs.gnome-terminal: terminal options (#2042)
- Add support for showing bold as bright colors
- Add support to configure the background transparency
- Fix the scrollOnOutput, it was not being dumped to the config
- Add tests!
- Add myself as maintainer
2021-06-15 23:39:56 +02:00