2017-08-31 20:21:09 -07:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
2015-05-20 21:25:17 -07:00
|
|
|
plugin_push_command() {
|
|
|
|
local plugin_name=$1
|
|
|
|
if [ "$plugin_name" = "--all" ]; then
|
|
|
|
for dir in $(asdf_dir)/plugins/*; do
|
2015-05-20 21:31:09 -07:00
|
|
|
echo "Pushing $(basename $dir)..."
|
2015-05-20 21:25:17 -07:00
|
|
|
(cd "$dir" && git push)
|
|
|
|
done
|
|
|
|
else
|
|
|
|
local plugin_path=$(get_plugin_path $plugin_name)
|
2016-07-05 16:19:15 -07:00
|
|
|
check_if_plugin_exists $plugin_name
|
2015-05-20 21:31:09 -07:00
|
|
|
echo "Pushing $plugin_name..."
|
2015-05-20 21:25:17 -07:00
|
|
|
(cd $plugin_path; git push)
|
|
|
|
fi
|
|
|
|
}
|