23 lines
447 B
Bash
Executable File
23 lines
447 B
Bash
Executable File
#!/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() {
|
|
gdb -batch --eval "attach $PANE_PID" --eval "call write_history(\"/tmp/bash_history-${PANE_PID}.txt\")" --eval 'detach' --eval 'q' >/dev/null 2>&1
|
|
\tail -1 "/tmp/bash_history-${PANE_PID}.txt"
|
|
}
|
|
|
|
main() {
|
|
exit_safely_if_empty_ppid
|
|
full_command
|
|
}
|
|
main
|