feat(grfn/home): Script to rebuild home-manager
Looks kinda like rebuild-mugwump, only for home yes, yes, this could gc halfway through, that's so unlikely that I don't care Change-Id: Iab3fdac15796e9f8158a9778b897bc3fe88e536e Reviewed-on: https://cl.tvl.fyi/c/depot/+/2942 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
This commit is contained in:
		
							parent
							
								
									e358087611
								
							
						
					
					
						commit
						d339cc687d
					
				
					 1 changed files with 6 additions and 0 deletions
				
			
		|  | @ -54,6 +54,12 @@ | |||
|       ssh mugwump sudo nix-env -p /nix/var/nix/profiles/system --set $system | ||||
|       ssh mugwump sudo $system/bin/switch-to-configuration switch | ||||
|     '') | ||||
|     (writeShellScriptBin "rebuild-home" '' | ||||
|       set -eo pipefail | ||||
|       cd ~/code/depot | ||||
|       nix build -f . users.grfn.system.home.$(hostname)Home -o /tmp/home | ||||
|       /tmp/home/activate | ||||
|     '') | ||||
|   ]; | ||||
| 
 | ||||
|   programs.ssh = { | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue