diff options
| author | Dominik Ritter <dritter03@googlemail.com> | 2018-06-17 23:47:43 +0300 |
|---|---|---|
| committer | Dominik Ritter <dritter03@googlemail.com> | 2018-06-17 23:47:43 +0300 |
| commit | d09a46f9e017541dc350dc44bf519d3d77ccd4e4 (patch) | |
| tree | 642b290d7b0981edc801ed1012852ae8686beb2d | |
| parent | b7681a00cab4b5eb672163b4a76695716dd83e56 (diff) | |
Mute errors when asking for java version
| -rwxr-xr-x | powerlevel9k.zsh-theme | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerlevel9k.zsh-theme b/powerlevel9k.zsh-theme index 730cff49..0a6cc055 100755 --- a/powerlevel9k.zsh-theme +++ b/powerlevel9k.zsh-theme @@ -1707,7 +1707,7 @@ prompt_dropbox() { # print Java version number prompt_java_version() { local java_version - java_version=$(java -fullversion 2>&1 | cut -d '"' -f 2) + java_version=$(java -fullversion 2>/dev/null | cut -d '"' -f 2) if [[ -n "$java_version" ]]; then "$1_prompt_segment" "$0" "$2" "red" "white" "$java_version" "JAVA_ICON" |