서버를 더 가까이

서버가 멀어서 magit을 못 쓰는 문제를 어느 정도 해결했다. 완벽한 해결책은 아니지만 일단은 만족스럽다.

짧은 스크립트를 짰는데

서버로부터 로컬로 git clone을 하고 + 서버에 변경된 파일을 복사해 온다.
로컬에서 파일이 변경될 때마다 서버로 그 파일을 복사한다.
로컬에서 magit으로 커밋을 하면 스크립트가 끝날 때에 이를 push한다.

생각해 보면 엄청 복잡할 건 아니었는데 이것저것 삽질을 해 보느라 오래 걸렸다.

완벽하지는 않다. inotifywait를 이용해서 파일의 변경사항을 체크하는데 을 이용해서 여러 파일을 지운다거나 디렉토리를 지울 때에는 이를 어떻게 알아내는지 모르겠어서 일단 냅두었다. 하지만 그런 일이 자주 일어나지는 않는데다가, 무엇보다도 magit을 쓸 수 있게 되었으니 목표는 달성했다. 해피해피.

2019-07-29 씀.