bash_completion: updated

This commit is contained in:
Chris Greenshields
2023-08-29 18:16:56 +01:00
parent abb919c6d8
commit ea594573b8
2 changed files with 7 additions and 32 deletions

View File

@ -267,7 +267,7 @@ $(declareLocals)
opts="-all -browser -help -keyword -web"
for o in \$used ; do opts="\${opts/\$o/}" ; done
opts="\$opts \$(_infoArgs)"
opts="\$opts \$(_infoArgs) \$(ls \$FOAM_APPBIN)"
extra=""
$(caseStart)