From be7e197178156f06bd6820f8d9e1a17ac704dfa2 Mon Sep 17 00:00:00 2001 From: Jorge Morante Date: Sun, 5 Jan 2020 12:20:53 +0100 Subject: [PATCH] remove traces --- scripts/fingers-mode.sh | 1 - scripts/hints.sh | 5 ----- 2 files changed, 6 deletions(-) diff --git a/scripts/fingers-mode.sh b/scripts/fingers-mode.sh index ab1be3e..2f4b0b8 100755 --- a/scripts/fingers-mode.sh +++ b/scripts/fingers-mode.sh @@ -9,7 +9,6 @@ CURRENT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" source $CURRENT_DIR/hints.sh source $CURRENT_DIR/utils.sh source $CURRENT_DIR/help.sh -source $CURRENT_DIR/debug.sh current_pane_id=$1 fingers_pane_id=$2 diff --git a/scripts/hints.sh b/scripts/hints.sh index b7b1f4d..977efbb 100755 --- a/scripts/hints.sh +++ b/scripts/hints.sh @@ -38,11 +38,6 @@ function show_hints() { FINGERS_ALPHABET_DIR="$CURRENT_DIR/../alphabets/$FINGERS_KEYBOARD_LAYOUT/" - log "logging array begin" - log_array selected_hints[@] - log "logging array end" - log "join array: $(array_join ":" "${selected_hints[@]}")" - clear_screen "$fingers_pane_id" get_stdin | FINGERS_SELECTED_HINTS="$(array_join ":" "${selected_hints[@]}")" FINGERS_COMPACT_HINTS="$compact_hints" FINGERS_ALPHABET_DIR="$FINGERS_ALPHABET_DIR" gawk -f $CURRENT_DIR/hinter.awk 3> $match_lookup_table }