add mini to ssh config