#!/bin/bash

# Enable error handling
set -e

# Copy patch.bat to a new file
cp patch.sh patch2.sh

# Run the new file
bash patch2.sh

# Delete the new file
rm patch2.sh