| 
								
								
									 christoph.hollizeck | f42228817b | update homemanager settings | 2025-05-06 10:28:56 +02:00 |  | 
				
					
						| 
								
								
									 christoph.hollizeck | 486836fae6 | update homemanager settings | 2025-05-06 10:28:51 +02:00 |  | 
				
					
						| 
								
								
									 christoph.hollizeck | b892f80cff | update homemanager settings | 2025-05-06 10:28:49 +02:00 |  | 
				
					
						| 
								
								
									 christoph.hollizeck | 21774ac23a | adjusted workvm configuration | 2025-05-06 10:28:34 +02:00 |  | 
				
					
						|  | 77e8840534 | added tide and removed things from the 'main' config to see if it still works | 2025-05-06 10:28:24 +02:00 |  | 
				
					
						|  | 0be4728958 | #2 first somewhat working iteration, there seems to be a problem with home manager still | 2025-05-06 10:28:19 +02:00 |  | 
				
					
						| 
								
								
									 christoph.hollizeck | fcaa48df90 | to be continued | 2025-05-06 10:28:14 +02:00 |  | 
				
					
						| 
								
								
									 christoph.hollizeck | 030f251ce9 | moving to new config | 2025-05-06 10:28:11 +02:00 |  | 
				
					
						| 
								
								
									 christoph.hollizeck | 334938df2e | add home desktop | 2025-05-06 10:28:06 +02:00 |  | 
				
					
						|  | e6ff80b005 | switched formatter | 2025-05-06 10:28:04 +02:00 |  | 
				
					
						|  | 851cb6fe38 | this works | 2025-05-06 10:28:01 +02:00 |  |