diff options
| author | rjorgenson <rjorgenson@gmail.com> | 2017-01-04 02:07:54 +0300 |
|---|---|---|
| committer | rjorgenson <rjorgenson@gmail.com> | 2017-01-04 02:07:54 +0300 |
| commit | f9bb7a2e949593287b2fc72ef06115d517dd8c4f (patch) | |
| tree | e15ea4284aa4fbb56f7fc53ce142d974c3a2552a | |
| parent | fa51798ce76fd5e50ac7be2fee333e090697ef17 (diff) | |
| parent | cf88f861fa29d0d78ca08c7f831717945abb94eb (diff) | |
Merge branch 'public_ip_segment' of github.com:rjorgenson/powerlevel9k into public_ip_segment
| -rwxr-xr-x | powerlevel9k.zsh-theme | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/powerlevel9k.zsh-theme b/powerlevel9k.zsh-theme index dd57ac05..3693f02d 100755 --- a/powerlevel9k.zsh-theme +++ b/powerlevel9k.zsh-theme @@ -460,6 +460,7 @@ prompt_public_ip() { if [[ -z "$fresh_ip" ]] && type -p wget >/dev/null; then fresh_ip="$(wget -T 10 -qO- "$POWERLEVEL9K_PUBLIC_IP_HOST" 2> /dev/null)" fi + # write IP to tmp file or touch tmp file if an IP was not retrieved [[ -n $fresh_ip ]] && echo $fresh_ip > $POWERLEVEL9K_PUBLIC_IP_FILE || touch $POWERLEVEL9K_PUBLIC_IP_FILE fi |