2022-04-15 05:18:49 +02:00
|
|
|
# This script should be sourced inside of .bashrc to integrate bash with hishtory
|
|
|
|
|
# This is the same as config.sh, except it doesn't run the save process in the background. This is crucial to making tests reproducible.
|
|
|
|
|
|
|
|
|
|
# Implementation of PreCommand and PostCommand based on https://jichu4n.com/posts/debug-trap-and-prompt_command-in-bash/
|
|
|
|
|
function PreCommand() {
|
|
|
|
|
if [ -z "$HISHTORY_AT_PROMPT" ]; then
|
|
|
|
|
return
|
|
|
|
|
fi
|
|
|
|
|
unset HISHTORY_AT_PROMPT
|
|
|
|
|
|
|
|
|
|
# Run before every command
|
2022-04-19 07:36:57 +02:00
|
|
|
HISHTORY_START_TIME=`date +%s`
|
2022-04-15 05:18:49 +02:00
|
|
|
}
|
|
|
|
|
trap "PreCommand" DEBUG
|
|
|
|
|
|
|
|
|
|
HISHTORY_FIRST_PROMPT=1
|
|
|
|
|
function PostCommand() {
|
|
|
|
|
EXIT_CODE=$?
|
|
|
|
|
HISHTORY_AT_PROMPT=1
|
|
|
|
|
|
|
|
|
|
if [ -n "$HISHTORY_FIRST_PROMPT" ]; then
|
|
|
|
|
unset HISHTORY_FIRST_PROMPT
|
|
|
|
|
return
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
# Run after every prompt
|
2022-04-18 04:54:17 +02:00
|
|
|
hishtory saveHistoryEntry bash $EXIT_CODE "`history 1`" $HISHTORY_START_TIME
|
2022-04-15 05:18:49 +02:00
|
|
|
}
|
|
|
|
|
PROMPT_COMMAND="PostCommand"
|
