blob: 074cd54f68f59407ddffcbcac1a898e945ea3180 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#
# A function for detecting information about the current session, entirely using shell builtins and env variables.
#
# This file is part of the zuwu project - a general-purpose zsh initialization and utility framework.
# It is not used by zuwu at the moment, but rather is provided to shell script developers as a utility function they can integrate into their own codebases
#
# Authors:
# memdmp <https://mem.estrogen.zone/>
#
function {
local session_extensions=()
local session_base="local"
# Detect Interactivity & Login State
local is_interactive=false;
local is_login=false;
if [[ $- == *i* ]]; then
is_interactive=true
fi
if [[ $- == *l* ]]; then
is_login=true
fi
if [[ "$is_interactive" && "$is_login" ]]; then
session_extensions+=(
interactive
login
)
elif [[ "$is_interactive" ]]; then
session_extensions+=(interactive)
elif [[ "$is_login" ]]; then
session_extensions+=(login)
else
session_extensions+=(headless)
fi
# Detect if local or remote, and the kind
if [ -n "$SSH_TTY" ]; then
session_base=remote
session_extensions+=(
ssh
ssh_tty
)
elif [ -n "$SSH_CLIENT" ]; then
session_base=remote
session_extensions+=(
ssh
)
else
# Expensive ssh session detection - spawns a `ps` process. You may want this if you need reliable session type detection
# case $(ps -o comm= -p "$PPID") in
# sshd|*/sshd) session_base=remote; session_extensions+=(ssh);;
# esac
fi
# Join together into a final, content-type-alike variable
SESSION_TYPE="$session_base/${(j.+.)session_extensions}"
}
# Example use:
# [[ "$SESSION_TYPE+" == *(+|/)interactive+* ]] && echo "Is in interactive session"
|