remote git pull script

pullremote.sh

#!/bin/bash

# Remote host is the first argument
HOST=$1
# Remote directory is a mirror of the local directory
DIR=$(pwd)
# SSH to the host and run the pull script
ssh $HOST "~/scripts/remotepull.sh '$DIR'"

# Sync Build notes not stored in git
for file in $(ls build*.md); do
    scp $file $HOST:$DIR/$(basename $file)
done

remotepull.sh

#!/bin/bash

# Simply pull the latest changes on the remote repository
# Usage: remotepull.sh <path-to-repo>
cd "$1"
git pull