7fe99da86b 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2024-07-06 17:28:07 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							43b3f68afa 
							
						 
					 
					
						
						
							
							Update font  
						
						 
						
						... 
						
						
						
						I was using a deprecated setup. 
						
					 
					
						2024-07-06 17:26:18 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							7d01494b87 
							
						 
					 
					
						
						
							
							Remove en-science  
						
						 
						
						... 
						
						
						
						I got a non-free error. No go. 
						
					 
					
						2024-07-06 17:25:38 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c2d1d11231 
							
						 
					 
					
						
						
							
							Install kmonad  
						
						 
						
						
						
					 
					
						2024-07-06 15:05:36 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							caa4b893ef 
							
						 
					 
					
						
						
							
							Install imagemagick  
						
						 
						
						
						
					 
					
						2024-07-06 14:52:13 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							e54d8347b0 
							
						 
					 
					
						
						
							
							Delete some unused  
						
						 
						
						
						
					 
					
						2024-07-03 16:04:34 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							4a5dd7a777 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2024-07-03 16:03:08 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							828a753517 
							
						 
					 
					
						
						
							
							Update flake  
						
						 
						
						
						
					 
					
						2024-05-07 17:43:07 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							1091097d50 
							
						 
					 
					
						
						
							
							I do trust myself  
						
						 
						
						
						
					 
					
						2024-05-07 17:20:04 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							a0cb27e3fb 
							
						 
					 
					
						
						
							
							trying out devenv  
						
						 
						
						
						
					 
					
						2024-04-28 01:41:06 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							0a10f38b34 
							
						 
					 
					
						
						
							
							Include emacs as a flake, not a submodule  
						
						 
						
						
						
					 
					
						2024-04-24 16:14:39 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							9a3e95714f 
							
						 
					 
					
						
						
							
							Update emacs config again  
						
						 
						
						
						
					 
					
						2024-04-24 16:13:28 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							4b702985da 
							
						 
					 
					
						
						
							
							update emacs config  
						
						 
						
						
						
					 
					
						2024-04-24 03:08:33 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							e530ece768 
							
						 
					 
					
						
						
							
							I hope this never needs to be placed back in...  
						
						 
						
						... 
						
						
						
						It was a workaround for xindy or something. It's used in one latex project I
work on a bit. This is an god awful solution though. 
						
					 
					
						2024-04-24 00:56:47 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							9b24d3d893 
							
						 
					 
					
						
						
							
							Update flake  
						
						 
						
						... 
						
						
						
						Get rid of the two different nixpkgs. Not sure why it was there. Maybe this is
a mistake :)) 
						
					 
					
						2024-04-01 01:22:32 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							918aee86b6 
							
						 
					 
					
						
						
							
							Update emacs  
						
						 
						
						
						
					 
					
						2024-04-01 01:19:42 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							101ea422f1 
							
						 
					 
					
						
						
							
							Change nix-formatter  
						
						 
						
						
						
					 
					
						2024-04-01 01:15:03 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							a0a0d00d7e 
							
						 
					 
					
						
						
							
							Replace rnix-lsp  
						
						 
						
						
						
					 
					
						2024-03-28 02:15:42 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							0c272b8de2 
							
						 
					 
					
						
						
							
							Fix direnv setup  
						
						 
						
						... 
						
						
						
						Somehow, I had setup direnv totally wrong. It worked, but was extremely slow.
Now it's just nice. 
						
					 
					
						2024-03-28 02:10:54 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							de6f0c5ca5 
							
						 
					 
					
						
						
							
							Remove custom Emacs build  
						
						 
						
						... 
						
						
						
						Switching (updating) caused Emacs to build, which takes a couple of minutes.
This made is less tempting to update, leading to a bit more clutter.
It seems that I am sacrificing rounded corners and having the color theme sync
with the OS. 
						
					 
					
						2024-03-28 01:56:03 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							b727b0e128 
							
						 
					 
					
						
						
							
							Add a .gitignore and nix/nix.conf  
						
						 
						
						
						
					 
					
						2024-03-27 22:30:38 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							d5f2126db1 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2024-03-26 18:26:13 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							587368ee9e 
							
						 
					 
					
						
						
							
							Some macOS apps  
						
						 
						
						
						
					 
					
						2024-03-22 20:30:16 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							f7f1591ae9 
							
						 
					 
					
						
						
							
							Remove modifiers from karabinder df to escape  
						
						 
						
						
						
					 
					
						2024-03-22 20:29:18 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							81d2d7885a 
							
						 
					 
					
						
						
							
							Don't ignore .dir-locals.el  
						
						 
						
						
						
					 
					
						2024-03-22 20:28:58 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							0b53209219 
							
						 
					 
					
						
						
							
							Add karabiner complex modification (with home-manager)  
						
						 
						
						
						
					 
					
						2023-08-05 13:38:34 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							a22877af9e 
							
						 
					 
					
						
						
							
							Update and add docker and sourcegraph  
						
						 
						
						
						
					 
					
						2023-07-10 18:27:03 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							3e4b89bba3 
							
						 
					 
					
						
						
							
							Update emacs config  
						
						 
						
						
						
					 
					
						2023-06-27 17:21:01 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							6b5d16cd6d 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						... 
						
						
						
						Xwidgets support seems to have been broken. Also, I now needed to add
treesitter support explicitly. I also added some fonts.
I am not happy with loosing Xwidgets, although I didn't really use it. 
						
					 
					
						2023-06-27 17:17:40 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							30a11f05d4 
							
						 
					 
					
						
						
							
							emacsGit has been renamed to emacs-git  
						
						 
						
						
						
					 
					
						2023-06-27 00:43:19 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							be71dc4df6 
							
						 
					 
					
						
						
							
							Add minizinc  
						
						 
						
						
						
					 
					
						2023-06-23 15:09:02 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							34774a0c7c 
							
						 
					 
					
						
						
							
							Attempt direnv reload when opening a new shell  
						
						 
						
						
						
					 
					
						2023-06-11 14:15:14 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							b6f6d9c127 
							
						 
					 
					
						
						
							
							Get xwidgets support in Emacs  
						
						 
						
						
						
					 
					
						2023-05-30 15:04:55 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							ea0aa27c1e 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2023-05-30 13:33:53 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							f245471e4a 
							
						 
					 
					
						
						
							
							Update emacs  
						
						 
						
						
						
					 
					
						2023-05-29 23:55:30 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							a4beee57af 
							
						 
					 
					
						
						
							
							Update emacs  
						
						 
						
						
						
					 
					
						2023-05-08 09:50:56 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							0d1d2687b2 
							
						 
					 
					
						
						
							
							Update maude  
						
						 
						
						
						
					 
					
						2023-05-04 00:09:34 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							d2c5cd3287 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2023-05-04 00:09:27 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							f31b0b25e8 
							
						 
					 
					
						
						
							
							Add zoom  
						
						 
						
						
						
					 
					
						2023-04-30 14:16:08 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							3db6c8dd70 
							
						 
					 
					
						
						
							
							Updates  
						
						 
						
						
						
					 
					
						2023-03-29 23:30:21 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							078c42eefa 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2023-03-24 13:21:47 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							f5ce1951f5 
							
						 
					 
					
						
						
							
							Improve homebrew setup  
						
						 
						
						... 
						
						
						
						Uninstall brew packages when they are removed from this config. 
						
					 
					
						2023-02-19 20:09:59 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							52a5f54098 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2023-02-19 20:08:40 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							7dc748407a 
							
						 
					 
					
						
						
							
							Give direnv another go  
						
						 
						
						
						
					 
					
						2023-02-18 21:06:14 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							f320e7029a 
							
						 
					 
					
						
						
							
							Add signal  
						
						 
						
						
						
					 
					
						2023-02-18 20:44:39 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							43506a8e4c 
							
						 
					 
					
						
						
							
							Updates  
						
						 
						
						
						
					 
					
						2023-02-10 19:34:23 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							fa513d0ab5 
							
						 
					 
					
						
						
							
							Get karabiner from homebrew casks  
						
						 
						
						
						
					 
					
						2023-02-10 17:52:00 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							d0b79c42aa 
							
						 
					 
					
						
						
							
							Add go language server  
						
						 
						
						
						
					 
					
						2023-01-30 23:34:41 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c395c33dcc 
							
						 
					 
					
						
						
							
							Trying out orion!  
						
						 
						
						
						
					 
					
						2023-01-30 23:34:25 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							39ff9d43a3 
							
						 
					 
					
						
						
							
							Sort pkgs  
						
						 
						
						
						
					 
					
						2023-01-24 23:16:06 +01:00