| 
									
										
										
										
											2022-10-02 23:42:33 +01:00
										 |  |  | { config, lib, pkgs, ... }: | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |   imports = [ | 
					
						
							|  |  |  |     ./modules/common.nix | 
					
						
							|  |  |  |     ./modules/git.nix | 
					
						
							|  |  |  |     ./modules/home-manager.nix | 
					
						
							|  |  |  |     ./modules/tmux.nix | 
					
						
							|  |  |  |     ./modules/zsh.nix | 
					
						
							|  |  |  |   ]; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   home.stateVersion = "22.05"; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   home.username = "opdavies"; | 
					
						
							|  |  |  |   home.homeDirectory = "/home/opdavies"; | 
					
						
							| 
									
										
										
										
											2022-12-12 09:12:09 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  |   programs.alacritty = { | 
					
						
							|  |  |  |     enable = true; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     settings = { | 
					
						
							|  |  |  |       window.padding = { | 
					
						
							|  |  |  |         x = 15; | 
					
						
							|  |  |  |         y = 15; | 
					
						
							|  |  |  |       }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |       font = { | 
					
						
							|  |  |  |         size = 12.0; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         normal.family = "JetBrainsMono Nerd Font"; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         offset.y = 12; | 
					
						
							|  |  |  |         glyph_offset.y = 6; | 
					
						
							|  |  |  |       }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |       shell = { | 
					
						
							|  |  |  |         program = "zsh"; | 
					
						
							|  |  |  |       }; | 
					
						
							|  |  |  |     }; | 
					
						
							|  |  |  |   }; | 
					
						
							| 
									
										
										
										
											2022-10-02 23:42:33 +01:00
										 |  |  | } |