Merge branch 'public_ip_segment' of github.com:rjorgenson/powerlevel9k into public_ip_segment

pull/22/head
rjorgenson 8 years ago
commit f9bb7a2e94

@ -460,6 +460,7 @@ prompt_public_ip() {
if [[ -z "$fresh_ip" ]] && type -p wget >/dev/null; then if [[ -z "$fresh_ip" ]] && type -p wget >/dev/null; then
fresh_ip="$(wget -T 10 -qO- "$POWERLEVEL9K_PUBLIC_IP_HOST" 2> /dev/null)" fresh_ip="$(wget -T 10 -qO- "$POWERLEVEL9K_PUBLIC_IP_HOST" 2> /dev/null)"
fi fi
# write IP to tmp file or touch tmp file if an IP was not retrieved # 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 [[ -n $fresh_ip ]] && echo $fresh_ip > $POWERLEVEL9K_PUBLIC_IP_FILE || touch $POWERLEVEL9K_PUBLIC_IP_FILE
fi fi

Loading…
Cancel
Save