Merge pull request #13 from zdharma-continuum/egrep

egrep -> grep -E
This commit is contained in:
Philipp Schmitt 2023-04-01 08:05:16 +02:00 committed by GitHub
commit 0a72269c49
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -87,7 +87,7 @@ if (( ${+ICE[rustup]} )) {
--component cargo clippy rustc rust-fmt rust-std \
--default-toolchain nightly \
--profile minimal \
|& command egrep '(installing|installed)'
|& command grep -E '(installing|installed)'
} else {
bin/rustup-init \
-y \
@ -108,7 +108,7 @@ if (( ${+ICE[rustup]} )) {
local -x CARGO_HOME="$dir" RUSTUP_HOME="$dir/rustup" PATH="$dir/bin:$PATH"
if (( !OPTS[opt_-q,--quiet] )) {
print -P -- "%F{38}rust annex: %F{154}Running \`rustup update'...%f"
command rustup update |& command egrep -i '(error|warning|installing|info: latest update )'
command rustup update |& command grep -E -i '(error|warning|installing|info: latest update )'
} else {
command rustup update &> /dev/null
}