#!/bin/sh #old version: #IMAGE_ID=ami-0fa8979d18f69948b IMAGE_ID=ami-0cd6b53a434812702 INSTANCE_TYPE=t4g.2xlarge KEY_NAME=debian-arm-us-east-2 SECURITY_GROUP_ID=sg-086ffbadc286c5c00 ARTIFACTS="${ARTIFACTS:-build-artifacts-$(date +%s)}" STARTTIME=$(date +%H:%M) # Spin up an ARM build machine using aws cli, build pandoc, and # download the artifact. # # We need to use us-east-2; since my us-west-1 has EC2-classic. # docs.aws.amazon.com/AWSEC2/latest/UserGuide/ec2-classic-platform.html aws configure set default.region us-east-2 echo "Creating instance..." aws ec2 run-instances --image-id "$IMAGE_ID" --count 1 --instance-type "$INSTANCE_TYPE" --block-device-mapping 'DeviceName=/dev/xvda,Ebs={VolumeSize=16}' --key-name "$KEY_NAME" --security-group-ids "$SECURITY_GROUP_ID" > ec2.json jq < ec2.json # Now get the public IP address. INSTANCEID=$(jq '.Instances[0].InstanceId' ec2.json | sed -e 's/"//g') IPADDR=$(aws ec2 describe-instances --instance-ids="$INSTANCEID" --query 'Reservations[0].Instances[0].PublicIpAddress' | sed -e 's/"//g') echo "IP address is $IPADDR" clean_up() { echo "Terminating the instance in 20 seconds..." echo "Ctrl-C to preserve it." sleep 20 && aws ec2 terminate-instances --instance-ids "$INSTANCEID" } trap clean_up EXIT echo "Waiting for instance to start up..." STATUS=none while [ "$STATUS" != "running" ] do sleep 20 STATUS=$(aws ec2 describe-instance-status --instance-id "$INSTANCEID" | jq '.InstanceStatuses[0].InstanceState.Name' | sed -e 's/"//g') echo "...$STATUS" done # At this point you can connect via SSH, or run this script: # $ ssh -i ~/.ssh/debian-arm-us-east-2.pem admin@$IPADDR ssh -o "StrictHostKeyChecking=no" -i "~/.ssh/$KEY_NAME.pem" admin@$IPADDR uname -a SSH="ssh -i ~/.ssh/$KEY_NAME.pem admin@$IPADDR" echo "Provisioning..." $SSH </dev/null" && break done # Retrieve the artifacts echo "Successful build. Retrieving artifacts..." scp -i "$HOME/.ssh/$KEY_NAME.pem" -r "admin@$IPADDR:src/pandoc/linux/artifacts" "$ARTIFACTS" echo "Artifacts saved in $ARTIFACTS" ls "$ARTIFACTS" ENDTIME=$(date +%H:%M) echo "Started: $STARTTIME" echo "Finished: $ENDTIME" exit 0