diff options
-rwxr-xr-x | session | 14 |
1 files changed, 8 insertions, 6 deletions
@@ -26,7 +26,7 @@ function __session_not_ignored { fi if [ ! -z "$UNIGNORE" ]; then - if [ "$UNIGNORE" == "$1" ]; then + if echo "$UNIGNORE" | grep -q " $1 "; then return 0 else return 1 @@ -152,13 +152,14 @@ function __session_chooser { read -rep "Choose session: " n local name="`echo $n | awk '{ print $1 }'`" - local program="`echo $n | awk '{ print $2 }'`" + #local programs="`echo $n | awk '{ print $2 }'`" + local programs="`echo $n | sed -e \"s/^$name//\"`" if [ ! -z "$name" ]; then session="$(__session_list | grep -E "(^$name.| $name:)" | sed -e "s/^[0-9]*. //" | cut -d : -f 1)" if [ ! -z "$session" ]; then - __session_open $session $program + __session_open $session $programs fi fi } @@ -180,10 +181,11 @@ function __session_exec { # Open a session function __session_open { local session="$1" - local program="$2" + shift + local programs="$*" - if [ ! -z "$program" ]; then - UNIGNORE="$program" + if [ ! -z "$programs" ]; then + UNIGNORE=" $programs " fi # Custom |