Use pkgs.dockerTools.pullImage at build time instead of relying on docker pull at run time				#5
		
		
	
	
		Labels
		
	
	
	
	No labels
	
		
			
	
	blocked
		
			flake
		
			important
		
			Needs research
		
			nextcloud
		
		
	
		No milestone
		
			
		
	
	No project
	
		
	
	
	
	
		No assignees
		
	
	
		
			
		
	
	
	
		1 participant
	
	
		
		
	Notifications
	
		
	
	
	
		
	
	
	Due date
No due date set.
	
	
	
		
			Depends on
		
		
			
				
					
						
					
				
			
			
		
	
	
	
	
	
						
						
							#45 Write automated update scripts for local packages
						
						
					
							tlaternet/tlaternet-server
						
					
		Reference: tlaternet/tlaternet-server#5
		
	
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue
	
	
	No description provided.
		
		Delete branch "%!s()"
	 
	Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Currently we're relying on
docker pullto download suitable images when a container is started (see here for example).This is poor practice since
pkgs.dockerTools.pullImageexists.Resolved in #58