From a9e5ae8b4c9fc01da055d684a155714c4fa3723b Mon Sep 17 00:00:00 2001 From: Silvio Rhatto Date: Sat, 23 Jun 2018 13:27:17 -0300 Subject: Session: choose by number or name --- session | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/session b/session index c2c7d30..d2e5da5 100755 --- a/session +++ b/session @@ -144,7 +144,7 @@ function __session_chooser { read -rep "Choose session: " n if [ ! -z "$n" ]; then - session="$(__session_list | grep "^$n." | sed -e "s/^$n. //" | cut -d : -f 1)" + session="$(__session_list | grep -E "(^$n.| $n:)" | sed -e "s/^$n. //" | cut -d : -f 1)" if [ ! -z "$session" ]; then __session_open $session -- cgit v1.2.3