#!/bin/bash

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

echo -n "Pulling cours-tssr... "

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

git add ./cours-tssr.pdf