index
:
libkookie
master
rebuild
🍍 Things that make my computers more sad than other people's computers
Katharina Fey
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
modules
/
programs
/
gnome-terminal.nix
(
follow
)
Commit message (
Expand
)
Author
Age
Files
Lines
*
gnome-terminal: add profile command options
Jack McCown
2020-08-13
1
-1
/
+21
*
vte: add module
Robert Helgesson
2020-06-14
1
-7
/
+2
*
gnome-terminal: replace deprecated package names
Robert Helgesson
2020-06-06
1
-2
/
+2
*
gnome-terminal: allow for 'system' theme variant
Andrew McDermott
2020-05-13
1
-1
/
+1
*
gnome-terminal: add `cursorBlinkMode` option
Piotr Bogdan
2020-04-10
1
-0
/
+7
*
Apply `nixfmt` on many files
Robert Helgesson
2020-02-02
1
-189
/
+163
*
gnome-terminal: add cursor and highlight color settings
Olli Helenius
2019-03-31
1
-0
/
+58
*
gnome-terminal: add support for light/dark theme variants
Robert Prije
2019-03-10
1
-0
/
+7
*
gnome-terminal: enable VTE OSC7 support for bash and zsh
Olli Helenius
2019-01-08
1
-0
/
+8
*
gnome-terminal: use dconf module for settings
Robert Helgesson
2018-12-24
1
-47
/
+16
*
Add dag library to `config.lib`
Robert Helgesson
2017-12-26
1
-2
/
+3
*
gnome-terminal: remove commented code
Robert Helgesson
2017-11-15
1
-1
/
+1
*
Mark rycee as maintainer for a bunch of modules
Robert Helgesson
2017-09-26
1
-0
/
+2
*
lib: make dag.nix take `lib` as argument
Robert Helgesson
2017-09-21
1
-1
/
+1
*
lib: use generators from Nixpkgs
Robert Helgesson
2017-09-21
1
-4
/
+5
*
gnome-terminal: use `attrsOf` rather than `loaOf`
Robert Helgesson
2017-05-10
1
-1
/
+1
*
Add basic directed acyclic graph data structure
Robert Helgesson
2017-05-04
1
-4
/
+6
*
Use stricter Bash settings in activation script
Robert Helgesson
2017-03-25
1
-1
/
+1
*
gnome-terminal: load configuration at right time
Robert Helgesson
2017-02-05
1
-1
/
+2
*
gnome-terminal: rename activation command
Robert Helgesson
2017-01-21
1
-1
/
+1
*
Support dry run in activation script
Robert Helgesson
2017-01-16
1
-1
/
+5
*
Improve a few description fields
Robert Helgesson
2017-01-15
1
-0
/
+1
*
gnome-terminal: add to packages
Robert Helgesson
2017-01-15
1
-0
/
+2
*
Initial import
Robert Helgesson
2017-01-14
1
-0
/
+186