살아가는 이야기

프로그램 수행 시간을 재기 위해서 프로그램을 작성할 수도 있지만 이를 위한 프로그램도 있다. 아래 사이트에서 Windows Server 2003 Resource Kit Tools를 다운로드하면 timeit이라는 프로그램을 사용할 수 있다. https://www.microsoft.com/en-us/download/confirmation.aspx?id=17657 timeit의 실행 예는 다음과 같다. 위 스크린샷은 "help /?"의 수행 시간을 잰 결과이다.

Microsoft 워드(MS 워드)를 사용하다 보면 영어와 한글 간격을 제멋대로 조정해서 짜증나는 경우가 있다. 간단히 말해서 아래 그림과 같이 입력되는 문제이다.우리말에서는 어미나 조사를 앞 말에 붙여 써야 하기 때문에 이렇게 제멋대로 띄어 쓰는 것은 여간 짜증나는 일이 아닐 수 없다. 그러나 해결 방법이 있으니, "홈" 탭의 "단락" 섹션에서 우측 하단에 있는 화살표를 눌러 단락 설정을 바꾸면 된다. 이 화살표를 누르면 단락 설정 대화창이 나오는데, 여기에서 세 번째 탭을 누른다. 그리고 아래 그림처럼 "한글과 영어 간격을 자동으로 조절(E)"과 "한글과 숫자 간격을 자동르로 조절(S)", 두 개의 체크 박스를 해제해 주고 "확인"을 누르면 된다.그러면 다음과 같이 깔끔하게 바뀌는 것을 볼 수 있다...

vim의 장점은 설치 후에 자신의 입맛에 맞게 편집기 설정을 바꿀 수 있다는 점이다. 설정을 바꾸려면 vimrc 파일을 바꾸면 된다.하지만 시스템에서 정의하고 있는 기본 vimrc 파일이 여러 개 있고 자신의 홈 폴더에 정의하고 있는 vimrc 파일도 있기 때문에, 어떤 파일을 바꾸어야 하는지 난감하다. vim이 참고하고 있는 vimrc 파일 위치를 파악하려면 vim 내에서 :version을 입력하면 중간쯤에 아래와 같은 내용을 확인할 수 있다. 시스템 vimrc 파일: "$VIM\vimrc" 사용자 vimrc 파일: "$HOME\_vimrc" 사용자 두 번째 vimrc 파일: "$HOME\vimfiles\vimrc" 사용자 세 번째 vimrc 파일: "$VIM\_vimrc" 사용자 exrc 파일: "$..

bash보다 색감이 좋은 fish라는 셸이 있다. msys2를 사용하고 있다면 다음과 같이 설치할 수 있다.pacman -S fish그런데 fish에 alias를 추가할 수 없을까?물론 가능하다. 방법은 ~/.config/fish/config.fish 파일을 만들고 여기에 다음과 같이 alias를 추가하면 된다.alias vi="vim"자세한 내용은 아래 사이트를 참고하기 바란다.https://fishshell.com/

Windows에 gvim을 설치하고 나면 항상 Fixedsys로 글꼴이 정해져 불편할 경우가 많다. vimrc에 글꼴을 정하도록 할 수 있는데, 다음 내용을 $VIMRUNTIME 폴더(대개 C:\Program Files\Vim\Vim?? 폴더임. 여기서 ??은 버전)의 vim_example.vim에 추가해 주면 된다.if has("gui_running") if has("gui_gtk2") set guifont=Inconsolata\ 11 elseif has("gui_macvim") set guifont=Menlo\ Regular:h12 elseif has("gui_win32") set guifont=D2Coding:h10:cANSI endif endif이렇게 정해 두면 GUI로 gvim을 실행하는 경우에..

Microsoft 오피스 수식 단축키는 프로그램마다 다르다. 일단 자주 사용하는 프로그램 두 개에 대한 수식 단축키만 여기 정리해 둔다.워드: Alt-*파워포인트: Alt-N-E-I워드 단축키의 의미는 잘 모르겠고 파워포인트의 경우에는 "new equation insertion"의 의미가 아닌가 싶다.

Notepad++라는 에디터가 있다. 메모장을 대신할 수 있다는 뜻에서 "메모장(notepad)"에 "++"를 붙인 것 같은데, 기능이 워낙 강력하여 인기가 많은 프로그램이다. 특히 PC에서 서버에 접속하여 파일을 편집할 때 유용하게 사용할 수 있다.그런데 이 기능을 위해서 필수적이던 NppFTP 플러그인이 언젠가부터 기본으로 포함되지 않게 되었으며, 플러그인을 관리하는 Plugin Manager조차 기본 플러그인에서 제외되어 플러그인 설치가 어렵게 되었다. 다행히 해결 방법이 있으니 아래 사이트에 접속하여 자신의 플랫폼에 맞는 zip 파일을 다운로드하면 된다. https://github.com/bruderstein/nppPluginManager/releases압축을 풀면 plugins와 updater라..

프로그래밍 개발 도구를 설치하다 보면 불가피하게 윈도우 환경변수를 설정해야 한다. 그런데 윈도우가 바뀔 때마다 환경변수를 설정하는 부분도 점점 찾기 힘들어졌다. 특히 Windows 10의 경우에는 찾기 힘든 정도가 더 심해졌는데, 다음 방법을 이용하면 쉽게 환경변수를 바꿀 수 있다.Window키+Rsysdm.cpl ,3 (쉼표 앞에 한 칸 띄어 써야 한다.) 이제 두말할 필요 없이 "환경 변수" 버튼을 눌러 원하는 환경변수를 바꾸면 된다.참고로 sysdm은 "System Device Manager"를 뜻한다. 한 가지 첨언:JAVA_HOME을 설정하고 JRE_HOME이나 PATH에 추가할 때 그냥 JAVA_HOME에 설정한 폴더를 그대로 사용하는 경우가 있는데 다음과 같이 이미 정의된 JAVA_HOME ..