2 ms·If jump host shell aliases were a valid option, then setting a port would be a much easier valid option.by Dylan16807 8mo agoIf jump host shell aliases were a valid option, then setting a port would be a much easier valid option.