diff options
| author | rjorgenson <rjorgenson@gmail.com> | 2017-01-10 00:56:22 +0300 |
|---|---|---|
| committer | rjorgenson <rjorgenson@gmail.com> | 2017-01-10 00:56:22 +0300 |
| commit | f33f843e92c565453b253531d9d7be06faaf42fc (patch) | |
| tree | 05f4b88cd0a24ab2a677a8641662aa2ebed7cf35 | |
| parent | 6e1e4ac241fcc113170f28656c99ef9b821aba9a (diff) | |
fixed issue with POWERLEVEL9K_PUBLIC_IP_NONE being empty
| -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 10d1564e..368254ee 100755 --- a/powerlevel9k.zsh-theme +++ b/powerlevel9k.zsh-theme @@ -441,7 +441,7 @@ prompt_public_ip() { timediff=$(($(date +%s) - $(date -r $POWERLEVEL9K_PUBLIC_IP_FILE +%s))) [[ $timediff -gt $POWERLEVEL9K_PUBLIC_IP_TIMOUT ]] && refresh_ip=true # If tmp file is empty get a fresh IP - [[ -z $(cat $POWERLEVEL9K_PUBLIC_IP_FILE) || $(cat $POWERLEVEL9K_PUBLIC_IP_FILE) =~ $POWERLEVEL9K_PUBLIC_IP_NONE ]] && refresh_ip=true + [[ -z $(cat $POWERLEVEL9K_PUBLIC_IP_FILE) || $(cat $POWERLEVEL9K_PUBLIC_IP_FILE) =~ '$POWERLEVEL9K_PUBLIC_IP_NONE' ]] && refresh_ip=true else touch $POWERLEVEL9K_PUBLIC_IP_FILE && refresh_ip=true fi |