update_plugin script

This commit is contained in:
Bruno Sutic
2014-08-05 19:02:42 +02:00
parent 3a5f56f10d
commit 3af756d836
4 changed files with 99 additions and 34 deletions

View File

@ -16,12 +16,12 @@ shared_get_tpm_plugins_list() {
# 1. "git://github.com/user/plugin_name.git"
# 2. "user/plugin_name"
shared_plugin_name() {
local plugin=$1
local plugin="$1"
# get only the part after the last slash, e.g. "plugin_name.git"
local plugin_basename=$(basename "$plugin")
local plugin_basename="$(basename "$plugin")"
# remove ".git" extension (if it exists) to get only "plugin_name"
local plugin_name=${plugin_basename%.git}
echo $plugin_name
local plugin_name="${plugin_basename%.git}"
echo "$plugin_name"
}
shared_plugin_path() {
@ -42,8 +42,40 @@ reload_tmux_environment() {
}
plugin_already_installed() {
local plugin=$1
local plugin_path=$(shared_plugin_path "$plugin")
cd $plugin_path &&
local plugin="$1"
local plugin_path="$(shared_plugin_path "$plugin")"
cd "$plugin_path" &&
git remote >/dev/null 2>&1
}
end_message() {
echo_message ""
echo_message "TMUX environment reloaded."
echo_message ""
echo_message "Done, press ENTER to continue."
}
# Ensures a message is displayed for 5 seconds in tmux prompt.
# Does not override the 'display-time' tmux option.
display_message() {
local message="$1"
# display_duration defaults to 5 seconds, if not passed as an argument
if [ "$#" -eq 2 ]; then
local display_duration="$2"
else
local display_duration="5000"
fi
# saves user-set 'display-time' option
local saved_display_time=$(get_tmux_option "display-time" "750")
# sets message display time to 5 seconds
tmux set-option -gq display-time "$display_duration"
# displays message
tmux display-message "$message"
# restores original 'display-time' value
tmux set-option -gq display-time "$saved_display_time"
}