미러서버가 처음에 ftp.kaist.ac.kr로 되어잇던 것으로 기억하는데.. 자꾸 업데이트 오류가나서

설정에서 기본설정으로 바꾸었더니 package~으로 시작하는 다른서버로 바뀌었습니다.

그 후로는 업데이트 내역이 뜨지도 않고해서 다시 ftp.kaist.ac.kr 로 변경하고자하는데, 로컬서버로 바꾸기를 하거나

빠른서버로 변경을 눌러도 바뀌지를 않네요.. 혹시 미러서버를 어떻게 바꿀 수 있을까요?

아 그리고 필터에서 깨짐으로 3개 항목을 검색했는데, 이 항목들을 고치고 변경사항을 적용하려고하니

주요한 4개 항목을 삭제한다고 하는데 깨짐 필터로 검색된 부분은 어떻게 수정해야 될까요?

도와주시면 감사하겠습니다!!