|
|
bb65c0a7b3
|
kitty styling
|
2020-09-27 16:51:23 +02:00 |
|
|
|
b447957db3
|
Add new kitty config
|
2020-09-27 13:59:07 +02:00 |
|
|
|
ccdef56669
|
kitty config
|
2020-09-15 20:35:48 +02:00 |
|
|
|
867ac136b2
|
testing gnome
|
2020-09-12 17:38:02 +02:00 |
|
|
|
271344f37d
|
terminal tweaks
|
2020-08-03 19:18:26 +02:00 |
|
|
|
63330cbe42
|
further
|
2020-06-12 08:53:59 +02:00 |
|
|
|
77c8b7759a
|
adapt for external screen
|
2020-04-22 08:30:34 +02:00 |
|
|
|
a8b652ce6b
|
kitty: bump font size
|
2020-03-09 19:37:45 +01:00 |
|
Daniel Lundin
|
5b45e07b85
|
use kitty instead of alacritty
|
2020-02-19 16:00:22 +01:00 |
|
