#!/bin/bash | |
# | |
# update.sh -- | |
# Update a package in sources/. If the package is a git | |
# repository, then do a git pull. (Use download.sh for | |
# tarballs.) | |
# | |
# Usage: update.sh <target_dir> | |
# | |
# where: | |
# | |
# <target_dir> is the local name of a git repository directory. | |
# | |
set -e | |
if type "git" > /dev/null; then | |
echo "Pulling $1" | |
cd $1 | |
git pull | |
else | |
echo "ERROR: \"git\" is required to automatically update repositories." | |
exit 1 | |
fi | |
exit 0 | |