MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

terminal: restore HISTFILE on exit to let bash properly update ~/.bash_history

Browse Source
This commit is contained in:
Sergey Simonchik
2019-03-22 01:01:32 +03:00
parent e07f67f4d0
commit a1fbac8a0a
1 changed files with 3 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/terminal/resources/jediterm-bash.in
+3 -4
View File
@@ -70,12 +70,11 @@ function configureCommandHistory {
local commandHistoryFile="$__INTELLIJ_COMMAND_HISTFILE__"
if [ -n "$commandHistoryFile" ] && [ -z "`trap -p EXIT`" ]
then
if [ ! -s "$commandHistoryFile" ] && [ -f "$HISTFILE" ]
trap "history -w \"$commandHistoryFile\"; export HISTFILE=\"$HISTFILE\"" EXIT
if [ -s "$commandHistoryFile" ]
then
command cp "$HISTFILE" "$commandHistoryFile"
export HISTFILE="$commandHistoryFile"
fi
trap "history -w \"$HISTFILE\"" EXIT
export HISTFILE="$commandHistoryFile"
fi
}
configureCommandHistory