아 그게 뭐더라

서버 시간을 보여주는 곳은 많지만, 아무래도 학교 내부망에서 직접 재는게 더 정확하지 않을까 싶어 잠깐 찾아본다. (라고 쓰고 딴짓이라고 읽는다.) 우리 리눅스의 무적 명령어 "curl"이 이 기능을 할 수 있다. http 응답 헤더에 서버 시간이 들어가 있으므로 가능한 일. curl -v sugang.dgist.ac.kr 을 하면 된다는데, 이건 stderror 로 print되는 것이라 grep이 안먹힌다. curl -I sugang.dgist.ac.kr 이걸로 하면 편하다. (-I 는 --head 와 같은 명령어이다.) 여기에 silent 옵션(-s)이랑 GET 으로 보내고 받도록 지정해주는 옵션 (-X GET)을 추가해준다. curl -sIXGET sugang.dgist.ac.kr 그리고 여기에 w..