Rename dump_bash_history() to dump_shell_history()

Signed-off-by: Mohammad Alsaleh <CE.Mohammad.AlSaleh@gmail.com>
This commit is contained in:
Mohammad Alsaleh 2015-09-16 19:08:54 +03:00 committed by Bruno Sutic
parent 655ed8c6f4
commit 2c9cc224c0
No known key found for this signature in database
GPG Key ID: CAFA7B1B2914ED81

View File

@ -266,7 +266,7 @@ dump_pane_contents() {
done done
} }
dump_bash_history() { dump_shell_history() {
dump_panes | dump_panes |
while IFS=$d read line_type session_name window_number window_name window_active window_flags pane_index dir pane_active pane_command full_command; do while IFS=$d read line_type session_name window_number window_name window_active window_flags pane_index dir pane_active pane_command full_command; do
save_shell_history "$session_name:$window_number.$pane_index" "$pane_command" "$full_command" save_shell_history "$session_name:$window_number.$pane_index" "$pane_command" "$full_command"
@ -292,8 +292,8 @@ save_all() {
pane_contents_create_archive pane_contents_create_archive
rm "$(pane_contents_dir "save")"/* rm "$(pane_contents_dir "save")"/*
fi fi
dump_bash_history
if save_shell_history_option_on; then if save_shell_history_option_on; then
dump_shell_history
fi fi
} }