From 7175cc3433e4ffb4077284bf41291e6555094e00 Mon Sep 17 00:00:00 2001 From: Silvio Rhatto Date: Wed, 7 Mar 2018 04:35:48 -0300 Subject: Minor session fixes --- session | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'session') diff --git a/session b/session index e39e406..aba9bc7 100755 --- a/session +++ b/session @@ -14,6 +14,10 @@ function __session_not_ignored { return 1 fi + if [ ! -e "$IGNORE" ]; then + return 0 + fi + if grep -q "^$1$" $IGNORE; then return 1 fi @@ -125,7 +129,7 @@ function __session_chooser { session="$(__session_list | grep "^$n." | sed -e "s/^$n. //" | cut -d : -f 1)" if [ ! -z "$session" ]; then - $NAME $session + __session_open $session fi fi } -- cgit v1.2.3