Commit graph

192 commits

Author SHA1 Message Date
7cc7fca48f Install JetBrainsMono and TeX Gyre fonts 2022-01-25 17:50:41 +00:00
7917b3a8f5 Remove Noto Sans Mono fonts 2022-01-25 17:21:11 +00:00
55a3687ab5 Fix typo in user.js 2022-01-21 07:44:50 +00:00
bb1cdbc1d6 Hide notifications by default in Firefox 2022-01-21 07:35:55 +00:00
8e5a371fee Add NBSP on the Level 3 and Level 4 Space key 2022-01-17 12:24:52 +00:00
54a37408eb Swap greys around 2022-01-11 21:19:16 +00:00
6a97123cae Use a slightly different orange 2022-01-11 21:09:06 +00:00
95fafb6ef9 Tweak colours some more 2022-01-11 21:07:51 +00:00
0d9ebb76f2 Fix blue in Terminal colour scheme 2022-01-11 21:02:20 +00:00
3bbf44d9c4 Add custom colour scheme 2022-01-11 21:00:22 +00:00
7a8602052c Use amber-on-black in Gnome Terminal 2022-01-11 12:13:29 +00:00
82a2fcccfd Prefer JetBrains Mono if it is installed 2022-01-04 11:22:28 +00:00
2005e33a11 Always show the Accessibility menu 2021-12-31 14:50:35 +00:00
bd06b5af08 Rely on \'default\' fonts from fonts.conf 2021-12-31 14:00:04 +00:00
2ffd38a80b Go back to Noto Sans Bold 2021-12-31 13:54:36 +00:00
c6a286284f Bold is too heavy 2021-12-30 19:35:14 +00:00
96fcf81aee Enable Noto fonts by default 2021-12-30 15:12:17 +00:00
760e500f46 Disable all extensions 2021-12-21 11:37:55 +00:00
810defca39 Dash-to-dock is still buggy with other windows 2021-12-17 12:46:21 +00:00
373e857e0f Disable hot-corners again, as dock is enabled 2021-12-07 16:01:28 +00:00
c006b2ab14 Put minimize and maximize back on the window bars 2021-12-07 13:46:05 +00:00
ac2028acb2 Re-enable dash-to-dock and put it at the bottom 2021-12-07 13:43:59 +00:00
2514d38819 The include module is being phased out 2021-12-01 22:17:45 +00:00
c68e185b13 Revert "Use EurKEY layout"
This reverts commit 17038ebbfc.
2021-12-01 08:45:35 +00:00
17038ebbfc Use EurKEY layout 2021-11-30 15:31:43 +00:00
1ad6e946c6 Force-disable deprecated TLS versions 2021-11-30 13:18:06 +00:00
0f6334aecb Use a better icon for the TODO list 2021-11-29 10:02:24 +00:00
6967aa6cdb Stop setting preferences for Dash-to-Dock 2021-11-28 18:43:45 +00:00
5657365e24 Go back to a more vanilla Gnome setup 2021-11-27 20:52:16 +00:00
8b75009f3e Handle Firefox in Flatpak 2021-11-26 21:07:35 +00:00
7b45bc2075 Use the RHEL default colours 2021-11-24 16:01:21 +00:00
03c6a83cc8 Actually work on RHEL 2021-11-24 15:42:19 +00:00
e12bf600c3 Use US layout by default 2021-11-24 12:54:58 +00:00
463350fbfe Don't add EurKEY by default 2021-11-24 11:49:48 +00:00
e58294676d Add the EurKEY layout 2021-11-24 11:38:18 +00:00
397bb7df5a Fix error from multiple values 2021-11-23 08:59:55 +00:00
63e60a45a4 Handle extension name being different on RHEL/CentOS 2021-11-23 08:53:49 +00:00
8d95c9c6dd Use gnome-extensions built-in functionality 2021-11-21 23:27:15 +00:00
575ab5323e Enable gnome-shell extensions if they are installed 2021-11-21 23:11:59 +00:00
99991bedd4 Set a background colour for when a wallpaper is not available 2021-11-16 16:01:34 +00:00
f360c87437 Force-enable Firefox Container Tabs 2021-11-15 15:43:17 +00:00
187157b223 Make Firefox more usable and stop installing Chrome 2021-11-14 15:37:57 +00:00
8bddb770da Add Google Chrome to dock 2021-11-14 14:38:08 +00:00
24eb527078 Set dock background to black 2021-11-14 13:59:18 +00:00
cd444caa60 Add keybinding to launch Terminal 2021-11-14 13:52:48 +00:00
af785572e9 Move dock to left and disable hot corners 2021-11-14 13:41:49 +00:00
cd10d2ad16 Disable Chromium 2021-11-12 07:59:03 +00:00
ac1b364cb6 Set Alt-Tab for switch-windows 2021-11-11 11:25:57 +00:00
b5d8ff5e57 Put dock on all monitors 2021-11-11 08:33:13 +00:00
6ac9c48b6a Use a solid black background and white dots 2021-11-10 13:48:14 +00:00