ParentFull threadbobbyi·You can add a wildcard entry (Host *) with the username to your ssh config. That will make it the default (can still be overridden by host-specific settings).View on HN