#!/bin/bash

[ "$HOSTNAME" != lime2 ] || exit 1

echo "Pulling cours-tssr..."

cp ~/tssr/cours/cours*.pdf ./cours-tssr.pdf && echo "Done"

git add ./cours-tssr.pdf