Closed gigatim closed 2 years ago
To allow users to permanently store their SSH Identity file path we read the GIGALIXIR_IDENTITY_FILE and insert that as an SSH option when no -i option is provided
To allow users to permanently store their SSH Identity file path we read the GIGALIXIR_IDENTITY_FILE and insert that as an SSH option when no -i option is provided