2015-07-06 19:04:26 -04:00
|
|
|
# using @tpm_plugins is now deprecated in favor of using @plugin syntax
|
2014-05-18 18:35:55 -04:00
|
|
|
tpm_plugins_variable_name="@tpm_plugins"
|
|
|
|
|
2015-08-03 12:47:13 -04:00
|
|
|
# manually expanding tilde char or `$HOME` variable.
|
|
|
|
_manual_expansion() {
|
|
|
|
local path="$1"
|
|
|
|
local expanded_tilde="${path/#\~/$HOME}"
|
|
|
|
echo "${expanded_tilde/#\$HOME/$HOME}"
|
|
|
|
}
|
|
|
|
|
2015-08-03 09:29:53 -04:00
|
|
|
_tpm_path() {
|
2015-07-29 17:36:49 -04:00
|
|
|
local string_path="$(tmux start-server\; show-environment -g TMUX_PLUGIN_MANAGER_PATH | cut -f2 -d=)/"
|
2015-08-03 12:47:13 -04:00
|
|
|
_manual_expansion "$string_path"
|
2015-08-03 09:29:53 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
_CACHED_TPM_PATH="$(_tpm_path)"
|
|
|
|
|
2018-11-02 08:07:53 -04:00
|
|
|
# Get the absolute path to the users configuration file of TMux.
|
|
|
|
# This includes a prioritized search on different locations.
|
|
|
|
#
|
|
|
|
_get_user_tmux_conf() {
|
2018-11-04 05:19:28 -05:00
|
|
|
# Define the different possible locations.
|
|
|
|
xdg_location="$XDG_CONFIG_HOME/tmux/tmux.conf"
|
|
|
|
default_location="$HOME/.tmux.conf"
|
2018-11-02 08:07:53 -04:00
|
|
|
|
2018-11-04 05:19:28 -05:00
|
|
|
# Search for the correct configuration file by priority.
|
2018-11-07 03:31:21 -05:00
|
|
|
if [ -f "$xdg_location" ]; then
|
2018-11-04 05:19:28 -05:00
|
|
|
echo "$xdg_location"
|
2018-11-02 08:07:53 -04:00
|
|
|
|
2018-11-04 05:19:28 -05:00
|
|
|
else
|
|
|
|
echo "$default_location"
|
|
|
|
fi
|
2018-11-02 08:07:53 -04:00
|
|
|
}
|
|
|
|
|
2015-07-06 19:04:26 -04:00
|
|
|
_tmux_conf_contents() {
|
2018-11-04 05:19:28 -05:00
|
|
|
user_config=$(_get_user_tmux_conf)
|
2018-11-02 08:07:53 -04:00
|
|
|
cat /etc/tmux.conf "$user_config" 2>/dev/null
|
2015-08-03 12:47:13 -04:00
|
|
|
if [ "$1" == "full" ]; then # also output content from sourced files
|
|
|
|
local file
|
|
|
|
for file in $(_sourced_files); do
|
|
|
|
cat $(_manual_expansion "$file") 2>/dev/null
|
|
|
|
done
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
|
|
|
# return files sourced from tmux config files
|
|
|
|
_sourced_files() {
|
|
|
|
_tmux_conf_contents |
|
2016-02-01 01:41:03 -05:00
|
|
|
awk '/^[ \t]*source(-file)? +/ { gsub(/'\''/,""); gsub(/'\"'/,""); print $2 }'
|
2015-08-03 12:47:13 -04:00
|
|
|
}
|
|
|
|
|
2016-12-01 22:55:12 -05:00
|
|
|
# Want to be able to abort in certain cases
|
|
|
|
trap "exit 1" TERM
|
|
|
|
export TOP_PID=$$
|
|
|
|
|
|
|
|
_fatal_error_abort() {
|
|
|
|
echo >&2 "Aborting."
|
|
|
|
kill -s TERM $TOP_PID
|
|
|
|
}
|
|
|
|
|
2015-08-03 12:47:13 -04:00
|
|
|
# PUBLIC FUNCTIONS BELOW
|
|
|
|
|
|
|
|
tpm_path() {
|
2016-12-01 22:55:12 -05:00
|
|
|
if [ "$_CACHED_TPM_PATH" == "/" ]; then
|
|
|
|
echo >&2 "FATAL: Tmux Plugin Manager not configured in tmux.conf"
|
|
|
|
_fatal_error_abort
|
|
|
|
fi
|
2015-08-03 12:47:13 -04:00
|
|
|
echo "$_CACHED_TPM_PATH"
|
2015-07-06 19:04:26 -04:00
|
|
|
}
|
|
|
|
|
2015-08-03 11:40:50 -04:00
|
|
|
tpm_plugins_list_helper() {
|
2015-12-13 19:21:47 -05:00
|
|
|
# lists plugins from @tpm_plugins option
|
2015-07-29 17:36:49 -04:00
|
|
|
echo "$(tmux start-server\; show-option -gqv "$tpm_plugins_variable_name")"
|
2015-07-06 19:04:26 -04:00
|
|
|
|
|
|
|
# read set -g @plugin "tmux-plugins/tmux-example-plugin" entries
|
2015-08-03 12:47:13 -04:00
|
|
|
_tmux_conf_contents "full" |
|
2016-02-01 01:41:03 -05:00
|
|
|
awk '/^[ \t]*set(-option)? +-g +@plugin/ { gsub(/'\''/,""); gsub(/'\"'/,""); print $4 }'
|
2014-05-18 18:35:55 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
# Allowed plugin name formats:
|
|
|
|
# 1. "git://github.com/user/plugin_name.git"
|
|
|
|
# 2. "user/plugin_name"
|
2015-08-03 11:40:50 -04:00
|
|
|
plugin_name_helper() {
|
2014-08-05 13:02:42 -04:00
|
|
|
local plugin="$1"
|
2014-05-24 17:15:13 -04:00
|
|
|
# get only the part after the last slash, e.g. "plugin_name.git"
|
2014-08-05 13:02:42 -04:00
|
|
|
local plugin_basename="$(basename "$plugin")"
|
2014-05-24 17:15:13 -04:00
|
|
|
# remove ".git" extension (if it exists) to get only "plugin_name"
|
2014-08-05 13:02:42 -04:00
|
|
|
local plugin_name="${plugin_basename%.git}"
|
|
|
|
echo "$plugin_name"
|
2014-05-18 18:35:55 -04:00
|
|
|
}
|
|
|
|
|
2015-08-03 11:40:50 -04:00
|
|
|
plugin_path_helper() {
|
2015-08-02 19:22:06 -04:00
|
|
|
local plugin="$1"
|
2015-08-03 11:40:50 -04:00
|
|
|
local plugin_name="$(plugin_name_helper "$plugin")"
|
2015-08-03 09:29:53 -04:00
|
|
|
echo "$(tpm_path)${plugin_name}/"
|
2014-05-18 18:35:55 -04:00
|
|
|
}
|
2014-08-05 12:45:59 -04:00
|
|
|
|
|
|
|
plugin_already_installed() {
|
2014-08-05 13:02:42 -04:00
|
|
|
local plugin="$1"
|
2015-08-03 11:40:50 -04:00
|
|
|
local plugin_path="$(plugin_path_helper "$plugin")"
|
2015-07-31 17:23:57 -04:00
|
|
|
[ -d "$plugin_path" ] &&
|
|
|
|
cd "$plugin_path" &&
|
2014-08-05 12:45:59 -04:00
|
|
|
git remote >/dev/null 2>&1
|
|
|
|
}
|