2016-04-02 05:55:54 +02:00
|
|
|
#!/usr/bin/env bash
|
2016-01-26 07:04:43 +01:00
|
|
|
|
2016-04-03 09:23:19 +02:00
|
|
|
(
|
|
|
|
set -e
|
2016-01-26 07:04:43 +01:00
|
|
|
PS1="$"
|
2016-04-03 01:34:27 +02:00
|
|
|
basedir=$(realpath "$1")
|
2016-04-02 05:55:54 +02:00
|
|
|
workdir="$basedir/work"
|
2016-01-26 07:04:43 +01:00
|
|
|
|
|
|
|
function update {
|
2016-04-02 05:55:54 +02:00
|
|
|
cd "$workdir/$1"
|
2016-01-26 07:04:43 +01:00
|
|
|
git fetch && git reset --hard origin/master
|
|
|
|
cd ../
|
|
|
|
git add $1
|
|
|
|
}
|
|
|
|
|
|
|
|
update Bukkit
|
|
|
|
update CraftBukkit
|
2016-03-21 18:32:05 +01:00
|
|
|
update Spigot
|
2016-04-03 09:23:19 +02:00
|
|
|
)
|