2015-02-11 14:43:37 +00:00
|
|
|
get_tmux_option() {
|
|
|
|
local option="$1"
|
|
|
|
local default_value="$2"
|
|
|
|
local option_value=$(tmux show-option -gqv "$option")
|
|
|
|
if [ -z "$option_value" ]; then
|
|
|
|
echo "$default_value"
|
|
|
|
else
|
|
|
|
echo "$option_value"
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
|
|
|
set_tmux_option() {
|
|
|
|
local option="$1"
|
|
|
|
local value="$2"
|
|
|
|
tmux set-option -gq "$option" "$value"
|
|
|
|
}
|
2015-02-20 01:05:58 +00:00
|
|
|
|
|
|
|
# multiple tmux server detection helpers
|
|
|
|
|
|
|
|
current_tmux_server_pid() {
|
|
|
|
echo "$TMUX" |
|
|
|
|
cut -f2 -d","
|
|
|
|
}
|
|
|
|
|
|
|
|
all_tmux_processes() {
|
2015-03-14 14:55:00 +00:00
|
|
|
# ignores `tmux source-file .tmux.conf` command used to reload tmux.conf
|
2015-02-20 01:05:58 +00:00
|
|
|
ps -Ao "command pid" |
|
2015-03-14 14:55:00 +00:00
|
|
|
\grep "^tmux" |
|
|
|
|
\grep -v "^tmux source"
|
2015-02-20 01:05:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
number_tmux_processes_except_current_server() {
|
|
|
|
all_tmux_processes |
|
|
|
|
\grep -v " $(current_tmux_server_pid)$" |
|
|
|
|
wc -l |
|
|
|
|
sed "s/ //g"
|
|
|
|
}
|
|
|
|
|
|
|
|
number_current_server_client_processes() {
|
|
|
|
tmux list-clients |
|
|
|
|
wc -l |
|
|
|
|
sed "s/ //g"
|
|
|
|
}
|
|
|
|
|
|
|
|
another_tmux_server_running_on_startup() {
|
|
|
|
# there are 2 tmux processes (current tmux server + 1) on tmux startup
|
|
|
|
[ "$(number_tmux_processes_except_current_server)" -gt 1 ]
|
|
|
|
}
|