Commit graph

69 commits

Author SHA1 Message Date
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
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
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
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
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
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
e59466491e Set dash-to-dock preferences 2021-11-10 13:10:50 +00:00
47379e2ec0 Make it easier to save/update Gnome favorite apps 2021-11-07 18:57:58 +00:00
c09c5e7b5f Add British keyboard back 2021-10-07 10:15:34 +01:00
dac594ae78 Slim RHEL packages and Gnome setup 2021-10-02 22:36:32 +01:00
3c5db7e182 Enable natural scrolling 2021-09-24 11:46:49 +01:00
a84dfa178b Revert "Switch to VS Code"
This reverts commit 370c720a93.
2021-07-21 23:53:53 +01:00
370c720a93 Switch to VS Code 2021-07-19 23:36:56 +01:00
4c63b3003d Add Chromium and VSCodium to the Gnome favourites 2021-07-18 20:37:54 +01:00
e7ed594368 Update gnome settings 2021-07-17 18:05:44 +01:00
b9120a8140 Use the default theme for the terminal 2021-05-25 21:42:57 +01:00
0978a43ee7 Stop resetting the background 2021-05-24 22:23:46 +01:00
25b6917475 Use US layout only unless in a French locale 2021-05-13 20:16:46 +01:00
f83c3d798f Add a shortcut for caps lock if needed 2021-05-11 12:09:55 +01:00