default
-
Windows Terminal 기본 프로필 바꾸기개발 환경/Windows 2020. 4. 27. 17:13
MS에서 Windows terminal을 현재 0.7 preview 버전으로 공개해놨다. 다운로드는 Microsoft Store에서 terminal 검색하면 받을 수 있다. 사용하다보니 default로 열리는 terminal이 power shell이라 불편했다. 그래서 바꾸는 법을 찾아보았다. 1. settings.json 열기 위와 같이 설정을 누르면 settings.json이 메모장어플로 열린다. 2. defaultProfile 변경 위쪽에 보면 "defaultProfile": "{c6eaf9f4-32a7-5fdc-b5cf-066e8a4b1e40}", 라는 특성이 존재한다. 여기서 뒤에 guid를 내가 원하는 프로필로 바꿔주면 된다. guid는 밑에 프로필들 나와있는 곳에서 알 수 있다.
-
docker --runtime=nvidia default로 바꾸기 (GPU 사용 default)개발 환경/Docker 2020. 2. 26. 13:24
docker container에서 GPU를 사용하기 위해 docker의 runtime을 nvidia로 설정해줘야한다. 하지만 Pycharm과 같은 IDE에서 docker를 사용할 때는 매우 번거롭다. 그러므로 docker 차원에서 runtime을 nvidia로 default 설정해주자. 1. nvidia-smi test docker run --rm ubuntu nvidia-smi output: nvidia-smi: command not found --runtime=nvidia docker run --rm --runtime=nvidia ubuntu nvidia-smi output: Wed Feb 26 04:19:07 2020 +--------------------------------------------..