diff options
-rw-r--r-- | zshrc | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -212,7 +212,7 @@ if [ "$HOSTNAME" = 'asteria' ] && [ -x /usr/bin/sudo ] ; then echo "neutron 86.59.21.34" echo "plasma 2001:968:1::6666" echo "venus6 2001:780:0:1c:42:42:42:42" - echo "testlink16 2001:618:400:a635::3:750" + echo "nobelium6 2001:618:400:a635::3:750" ) | while read name ip; do alias -g $name-ip="$ip" alias -g ip-$name="$ip" |