Robert Prije
0fa19ed555
gnome-terminal: add support for light/dark theme variants
2019-03-10 01:59:00 +01:00
Olli Helenius
b3d73e0aff
gnome-terminal: enable VTE OSC7 support for bash and zsh
2019-01-08 23:14:55 +01:00
Robert Helgesson
a0162dacf6
gnome-terminal: use dconf module for settings
2018-12-24 17:26:34 +01:00
Robert Helgesson
f0d207f380
Add dag library to config.lib
...
Also replace all imports of `dag.nix` by the entry in `config.lib`.
2017-12-26 17:27:21 +01:00
Robert Helgesson
a36989a860
gnome-terminal: remove commented code
2017-11-15 17:02:19 +01:00
Robert Helgesson
a8e08d14bb
Mark rycee as maintainer for a bunch of modules
2017-09-26 23:40:31 +02:00
Robert Helgesson
742d1889c5
lib: make dag.nix take lib as argument
2017-09-21 13:19:29 +02:00
Robert Helgesson
61042c7606
lib: use generators from Nixpkgs
2017-09-21 13:18:33 +02:00
Robert Helgesson
e8fb9f50ce
gnome-terminal: use attrsOf rather than loaOf
...
Since the attribute names carry semantic meaning we should be more
strict about the type.
2017-05-10 00:20:15 +02:00
Robert Helgesson
8fab2a5d9b
Add basic directed acyclic graph data structure
...
Also make use of this instead of Nixpkgs's strings-with-deps library
in activation script generation.
2017-05-04 00:39:36 +02:00
Robert Helgesson
fea693ba16
Use stricter Bash settings in activation script
...
For example, with these settings Bash will complain if uninitialized
variables are used. Some code has been improved to run cleanly with
these settings.
2017-03-25 21:57:03 +01:00
Robert Helgesson
119c7b2538
gnome-terminal: load configuration at right time
...
If the dconf service hasn't been installed then the configuration
activation will fail. Thus, make sure the activation script is run after
packages have been installed.
2017-02-05 12:01:49 +01:00
Robert Helgesson
10031e16bf
gnome-terminal: rename activation command
2017-01-21 13:33:07 +01:00
Robert Helgesson
b1f84ada60
Support dry run in activation script
...
If the `DRY_RUN` variable is set then no actual change should be
performed. Only printing what actions would be taken.
2017-01-16 00:16:22 +01:00
Robert Helgesson
071e631648
Improve a few description fields
2017-01-15 23:42:48 +01:00
Robert Helgesson
a617aeaa73
gnome-terminal: add to packages
2017-01-15 23:42:03 +01:00
Robert Helgesson
d7d02c3ce8
Initial import
2017-01-14 13:15:24 +01:00
