diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2018-03-07 04:35:48 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2018-03-07 04:35:48 -0300 |
commit | 7175cc3433e4ffb4077284bf41291e6555094e00 (patch) | |
tree | 470fa448a77fbf51db3b4fd179265330751e24b9 /session | |
parent | 9d6524f3b5c050495d7de26cf01e0fd1cd8c0795 (diff) | |
download | utils-x11-7175cc3433e4ffb4077284bf41291e6555094e00.tar.gz utils-x11-7175cc3433e4ffb4077284bf41291e6555094e00.tar.bz2 |
Minor session fixes
Diffstat (limited to 'session')
-rwxr-xr-x | session | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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 } |