| 
									
										
										
										
											2023-04-14 10:20:44 +01:00
										 |  |  | #!/usr/bin/env bash | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | if [[ "$1" == "" ]]; then | 
					
						
							|  |  |  |   echo "Usage: ${0##*/} <script-name>"; exit 2 | 
					
						
							|  |  |  | fi | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2024-05-22 08:51:04 +01:00
										 |  |  | set -o errexit | 
					
						
							|  |  |  | set -o nounset | 
					
						
							|  |  |  | set -o pipefail | 
					
						
							| 
									
										
										
										
											2023-04-14 10:20:44 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | cat > "${1}" << EOF | 
					
						
							|  |  |  | #!/usr/bin/env bash | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2024-05-22 08:51:04 +01:00
										 |  |  | set -o errexit | 
					
						
							|  |  |  | set -o nounset | 
					
						
							|  |  |  | set -o pipefail | 
					
						
							| 
									
										
										
										
											2023-04-14 10:20:44 +01:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2024-05-22 08:51:04 +01:00
										 |  |  | echo "${1}" | 
					
						
							| 
									
										
										
										
											2023-04-14 10:20:44 +01:00
										 |  |  | EOF | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | chmod +x "${1}" |