From 2c9cc224c029897f7afb7abb5c9b6626bb6c7ba5 Mon Sep 17 00:00:00 2001 From: Mohammad Alsaleh Date: Wed, 16 Sep 2015 19:08:54 +0300 Subject: [PATCH] Rename dump_bash_history() to dump_shell_history() Signed-off-by: Mohammad Alsaleh --- scripts/save.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/save.sh b/scripts/save.sh index 761f405..77b42dd 100755 --- a/scripts/save.sh +++ b/scripts/save.sh @@ -266,7 +266,7 @@ dump_pane_contents() { done } -dump_bash_history() { +dump_shell_history() { 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 save_shell_history "$session_name:$window_number.$pane_index" "$pane_command" "$full_command" @@ -292,8 +292,8 @@ save_all() { pane_contents_create_archive rm "$(pane_contents_dir "save")"/* fi - dump_bash_history if save_shell_history_option_on; then + dump_shell_history fi }