You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There are some kinds of string expansion that the shell does that it would be nice to support. They're very different features, but they all fall into the category of "modify this string in some useful way", so I thought I'd put them all in the same issue.
They could be supported separately, but it might also be useful to have something that does all the expansions you might want, in a reasonable order, with a single helper. Like Expand("~/$SRC/**/*.rs"). The reasonable order is probably whatever bash does.
There are some kinds of string expansion that the shell does that it would be nice to support. They're very different features, but they all fall into the category of "modify this string in some useful way", so I thought I'd put them all in the same issue.
They could be supported separately, but it might also be useful to have something that does all the expansions you might want, in a reasonable order, with a single helper. Like
Expand("~/$SRC/**/*.rs")
. The reasonable order is probably whatever bash does.Globs
$ cp *.txt foo
It would also be nice to support
**
globs:Variable interpolation
Tilde expansion
$ cat ~rodarmor/src/agora/src/main.rs
Brace expansion
The text was updated successfully, but these errors were encountered: