7 lines
142 B
Bash
Executable file
7 lines
142 B
Bash
Executable file
#!/bin/bash
|
|
|
|
[ "$HOSTNAME" != lime2 ] || exit 1
|
|
|
|
echo -n "Pulling cours-tssr... "
|
|
|
|
cp ~/tssr/cours/cours*.pdf ./cours-tssr.pdf && echo "Done"
|