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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							4a5dd7a777 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2024-07-03 16:03:08 +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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							ea0aa27c1e 
							
						 
					 
					
						
						
							
							Update  
						
						 
						
						
						
					 
					
						2023-05-30 13:33:53 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							f31b0b25e8 
							
						 
					 
					
						
						
							
							Add zoom  
						
						 
						
						
						
					 
					
						2023-04-30 14:16:08 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							3db6c8dd70 
							
						 
					 
					
						
						
							
							Updates  
						
						 
						
						
						
					 
					
						2023-03-29 23:30:21 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							f5ce1951f5 
							
						 
					 
					
						
						
							
							Improve homebrew setup  
						
						 
						
						... 
						
						
						
						Uninstall brew packages when they are removed from this config. 
						
					 
					
						2023-02-19 20:09:59 +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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							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  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							5bfd11e88f 
							
						 
					 
					
						
						
							
							Add shortcat!  
						
						 
						
						
						
					 
					
						2022-11-03 12:25:37 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							a55fb7c463 
							
						 
					 
					
						
						
							
							Set $JAVA_HOME  
						
						 
						
						
						
					 
					
						2022-11-03 12:25:27 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							6e1b30b0cd 
							
						 
					 
					
						
						
							
							Haskell with packages  
						
						 
						
						
						
					 
					
						2022-10-30 22:54:22 +01:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							8d3d4acf7e 
							
						 
					 
					
						
						
							
							Add haskell compiler  
						
						 
						
						
						
					 
					
						2022-10-25 19:45:38 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							2ebe1800bc 
							
						 
					 
					
						
						
							
							Add pygments (for minted)  
						
						 
						
						
						
					 
					
						2022-10-24 18:35:22 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							8316a569ea 
							
						 
					 
					
						
						
							
							Add rust-analyzer  
						
						 
						
						
						
					 
					
						2022-10-21 14:14:42 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							609c8bdf82 
							
						 
					 
					
						
						
							
							Add bqn  
						
						 
						
						
						
					 
					
						2022-10-21 14:14:37 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							fb55c1dddc 
							
						 
					 
					
						
						
							
							Run default JDK  
						
						 
						
						
						
					 
					
						2022-10-10 09:34:32 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							b527d57ba7 
							
						 
					 
					
						
						
							
							Fix directory tracking interfering with projectile (Emacs)  
						
						 
						
						... 
						
						
						
						Tracking directories is there in order for shells inside Emacs to pick up on
what the current directory is. This does some weird printing that I don't
understand, and interferes when Emacs runs shell commands and parses the
output. This completely brakes projectile mode in Emacs.
The fix was apparently to not attempt to track the directory if the terminal is
too dumb. 
						
					 
					
						2022-10-09 23:15:07 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							6c0a3531ff 
							
						 
					 
					
						
						
							
							Add cloc  
						
						 
						
						
						
					 
					
						2022-10-08 23:25:21 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							93d402b817 
							
						 
					 
					
						
						
							
							Expressvpn  
						
						 
						
						
						
					 
					
						2022-10-05 23:22:27 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							9a8bd9de6e 
							
						 
					 
					
						
						
							
							Add a lot more pacakges  
						
						 
						
						... 
						
						
						
						I tried to keep things project-by-project using direnv, but it was too buggy
and too much overhead. 
						
					 
					
						2022-10-01 09:02:04 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							87757e52be 
							
						 
					 
					
						
						
							
							A small working email-setup  
						
						 
						
						
						
					 
					
						2022-10-01 09:01:41 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c591c5b6a8 
							
						 
					 
					
						
						
							
							Refactoring  
						
						 
						
						
						
					 
					
						2022-09-19 16:54:39 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							baefeb6664 
							
						 
					 
					
						
						
							
							Add google chrome  
						
						 
						
						... 
						
						
						
						This has obviously been installed for a while already, but I needed chrome to
google how to even nix. 
						
					 
					
						2022-09-19 16:51:34 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							c43ca98179 
							
						 
					 
					
						
						
							
							Refactoring  
						
						 
						
						
						
					 
					
						2022-09-19 16:34:33 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							ce6ce0ae70 
							
						 
					 
					
						
						
							
							Add nix lsp server  
						
						 
						
						
						
					 
					
						2022-09-19 16:24:16 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							d1ec8cb0b5 
							
						 
					 
					
						
						
							
							Add ffmpeg  
						
						 
						
						
						
					 
					
						2022-09-19 16:06:07 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							25ed20dc57 
							
						 
					 
					
						
						
							
							Add bat  
						
						 
						
						
						
					 
					
						2022-09-19 11:38:12 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							8a11bdb085 
							
						 
					 
					
						
						
							
							Use direnv  
						
						 
						
						
						
					 
					
						2022-09-19 11:14:09 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							529009ae7e 
							
						 
					 
					
						
						
							
							No font dir  
						
						 
						
						
						
					 
					
						2022-09-19 09:23:26 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							176cb2ce9e 
							
						 
					 
					
						
						
							
							Add starship fancy promt  
						
						 
						
						... 
						
						
						
						Not sure if I like it, but it seems to be what the cool kids are using these days. 
						
					 
					
						2022-09-18 22:58:44 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							9ca96d7eb4 
							
						 
					 
					
						
						
							
							Fix directory tracking for fish & vterm  
						
						 
						
						
						
					 
					
						2022-09-18 21:33:50 +02:00  
					
					
						 
						
							
							
							 
						
					 
				 
			
				
					
						
					 
					
						
						
						
						
							
						
						
							746ea0f434 
							
						 
					 
					
						
						
							
							Initial commit  
						
						 
						
						... 
						
						
						
						Trying out nix on a new machine. I would think the install instructions are
under-specified. We'll see if this will turn out usable. 
						
					 
					
						2022-09-18 18:30:24 +02:00