|
@@ -92,7 +92,7 @@ function print_projectmenu() {
|
|
|
GROUP_FILTER=
|
|
GROUP_FILTER=
|
|
|
|
|
|
|
|
## check if given projectname or projectnumber
|
|
## check if given projectname or projectnumber
|
|
|
- if [[ $1 == ?(-)+([0-9]) ]]; then
|
|
|
|
|
|
|
+ if [[ "$1" == "?(-)+([0-9])" ]]; then
|
|
|
## projectnumber, read projectname from "projects" string
|
|
## projectnumber, read projectname from "projects" string
|
|
|
project=$( echo $projects | cut -d ":" -f "$1" )
|
|
project=$( echo $projects | cut -d ":" -f "$1" )
|
|
|
else
|
|
else
|