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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c910fc9d89 
							
						 
					 
					
						
						
							
							Updates  
						
						 
						
						... 
						
						
						
						Now I have two LaTeX-installations. This is because xindy was missing from the
Nix one... I don't like it, but it works for now. 
						
					 
					
						2023-01-22 16:33:50 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							60d7665cb7 
							
						 
					 
					
						
						
							
							Add python LSP server  
						
						 
						
						
						
					 
					
						2023-01-16 23:29:25 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							ba7db20589 
							
						 
					 
					
						
						
							
							Some cleanup from ChatGPT  
						
						 
						
						
						
					 
					
						2023-01-08 01:31:34 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							aede6595d6 
							
						 
					 
					
						
						
							
							Add some Python packages  
						
						 
						
						
						
					 
					
						2023-01-08 01:31:05 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							946d46dd13 
							
						 
					 
					
						
						
							
							Sort casks  
						
						 
						
						
						
					 
					
						2022-12-23 18:04:41 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							7a4ddb45ca 
							
						 
					 
					
						
						
							
							Simplify Emacs overlay  
						
						 
						
						
						
					 
					
						2022-12-23 01:37:11 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							9e681067f1 
							
						 
					 
					
						
						
							
							Updates  
						
						 
						
						... 
						
						
						
						Emacs builds again, so first update to Emacs for a while. Python311 failed
during update, so I downgraded. 
						
					 
					
						2022-12-22 01:15:21 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							d84e0db584 
							
						 
					 
					
						
						
							
							Add dropbox  
						
						 
						
						
						
					 
					
						2022-12-21 18:49:44 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							49d7e100d3 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2022-12-15 15:42:34 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							3979bfc600 
							
						 
					 
					
						
						
							
							Add jq  
						
						 
						
						
						
					 
					
						2022-12-02 23:04:11 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							aa1a79c5f2 
							
						 
					 
					
						
						
							
							Update to Python 3.11  
						
						 
						
						
						
					 
					
						2022-12-02 23:03:56 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							e8e9ab8f1d 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2022-11-25 22:55:49 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							ee76ccb98b 
							
						 
					 
					
						
						
							
							Format  
						
						 
						
						
						
					 
					
						2022-11-20 15:24:29 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							1d66508060 
							
						 
					 
					
						
						
							
							Add norwegian dictionary for aspell  
						
						 
						
						... 
						
						
						
						This was a major annoyance that just got fixed!
See: 2d1dc67fe1 
						
					 
					
						2022-11-20 13:19:09 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c625468d24 
							
						 
					 
					
						
						
							
							Add local package for Maude  
						
						 
						
						... 
						
						
						
						The "official" package for Maude is broken on darwin. This one downloads and
installs the binary. Not as nice as building from source, but much easier... 
						
					 
					
						2022-11-20 13:17:46 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							5e29ff90cb 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						... 
						
						
						
						The home-activation seems resolved. 
						
					 
					
						2022-11-19 15:53:03 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							6e4d6655b4 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2022-11-04 18:24:46 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							5bfd11e88f 
							
						 
					 
					
						
						
							
							Add shortcat!  
						
						 
						
						
						
					 
					
						2022-11-03 12:25:37 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							a55fb7c463 
							
						 
					 
					
						
						
							
							Set $JAVA_HOME  
						
						 
						
						
						
					 
					
						2022-11-03 12:25:27 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c0196b2b01 
							
						 
					 
					
						
						
							
							Emacs submodule update  
						
						 
						
						
						
					 
					
						2022-10-30 22:54:42 +01:00