Remove personal host aliases from defaults

2026-06-20 17:49:48 -04:00
parent d51cc248e7
commit ec2422bc3e
8 changed files with 51 additions and 46 deletions
@@ -482,9 +482,9 @@ EOF
    fi
    cat >"$hosts_config" <<EOF
 # Example:
-# [palav]
-# ssh = "palav"
-# dosh_host = "palav.dev"
+# [homelab]
+# ssh = "homelab"
+# dosh_host = "server.example.com"
 # port = 50000
 # default_command = "tm"
 # predict = true