2015-03-25 16:25:46 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
cd "$(dirname "$0")"
|
|
|
|
|
|
2017-10-09 17:58:53 +00:00
|
|
|
wget -O ssss.txt https://cs.au.dk/~sortie/ssss/ssss.txt &&#> /dev/null 2>&1 &&
|
|
|
|
|
git commit -a -m "Updated SSSS $(date +%Y-%m-%d)" #> /dev/null 2>&1 &&
|
|
|
|
|
#git push origin master > /dev/null 2>&1
|
