2014-09-20 21:47:15 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
CURRENT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
|
|
PANE_PID="$1"
|
|
|
|
|
|
|
|
exit_safely_if_empty_ppid() {
|
|
|
|
if [ -z "$PANE_PID" ]; then
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
|
|
|
|
full_command() {
|
2018-09-11 09:16:30 +00:00
|
|
|
ps -ao "ppid command" |
|
2014-09-20 21:47:15 +00:00
|
|
|
sed "s/^ *//" |
|
|
|
|
grep "^${PANE_PID}" |
|
|
|
|
cut -d' ' -f2-
|
|
|
|
}
|
|
|
|
|
|
|
|
main() {
|
|
|
|
exit_safely_if_empty_ppid
|
|
|
|
full_command
|
|
|
|
}
|
|
|
|
main
|