diff options
| author | Dominik Ritter <dritter03@googlemail.com> | 2017-01-28 15:21:40 +0300 |
|---|---|---|
| committer | Dominik Ritter <dritter03@googlemail.com> | 2017-01-28 15:21:40 +0300 |
| commit | 06cb9bb43fd6a5010fafa116fabe8290f87a90f0 (patch) | |
| tree | f10b56a8dd8f988c8bd656103a7243bb17a1ffe1 /powerlevel9k.zsh-theme | |
| parent | 6c352c8d5c90c189166beb07e3f9f7c753f6b79d (diff) | |
Change order of public ip methods as it was before
Diffstat (limited to 'powerlevel9k.zsh-theme')
| -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 f1e4314b..61d9f99c 100755 --- a/powerlevel9k.zsh-theme +++ b/powerlevel9k.zsh-theme @@ -475,7 +475,7 @@ prompt_public_ip() { set_default POWERLEVEL9K_PUBLIC_IP_NONE "" set_default POWERLEVEL9K_PUBLIC_IP_FILE "/tmp/p9k_public_ip" set_default POWERLEVEL9K_PUBLIC_IP_HOST "http://ident.me" - defined POWERLEVEL9K_PUBLIC_IP_METHODS || POWERLEVEL9K_PUBLIC_IP_METHODS=(wget curl dig) + defined POWERLEVEL9K_PUBLIC_IP_METHODS || POWERLEVEL9K_PUBLIC_IP_METHODS=(dig curl wget) # Do we need a fresh IP? local refresh_ip=false |