| 
									
										
										
										
											2023-04-16 20:54:20 +01:00
										 |  |  | #!/usr/bin/env bash | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | if [[ "$1" == "" ]]; then | 
					
						
							|  |  |  |   echo "Usage: ${0##*/} <filename>"; exit 2 | 
					
						
							|  |  |  | fi | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | set -euo pipefail | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | filename="${1}" | 
					
						
							|  |  |  | shift 1 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | pv "${filename}" \ | 
					
						
							|  |  |  |   | zcat \ | 
					
						
							| 
									
										
										
										
											2023-07-18 20:51:40 +01:00
										 |  |  |   | docker compose exec -T "${SERVICE_NAME:-database}" mysql \ | 
					
						
							| 
									
										
										
										
											2023-04-16 20:54:20 +01:00
										 |  |  |     -p"${DB_PASSWORD:-app}" \ | 
					
						
							|  |  |  |     -u"${DB_USER:-app}" \ | 
					
						
							|  |  |  |     "${DB_NAME:-app}" |