2016-07-21 13:38:57 +00:00
|
|
|
function config {
|
2018-03-04 22:09:10 +00:00
|
|
|
repo_name=$1
|
|
|
|
|
shift
|
|
|
|
|
|
|
|
|
|
if ! [ -d ${HOME}/.cfg/${repo_name} ]; then
|
|
|
|
|
echo "Repo '${repo_name}' not found!"
|
|
|
|
|
return 1
|
|
|
|
|
fi
|
2016-07-21 13:35:40 +00:00
|
|
|
|
2018-03-04 22:09:10 +00:00
|
|
|
git --git-dir=${HOME}/.cfg/${repo_name} --work-tree=${HOME} $@
|
2016-07-21 13:35:40 +00:00
|
|
|
}
|
2018-03-04 22:09:10 +00:00
|
|
|
|
