본문 바로가기

분류 전체보기

(13)
Terminal Customizing & Linux Shell 이번 글에서는 저번 글에서 Linux 환경을 구축해보았으니 Terminal을 수정해보도록 합시다. 1. Terminal의 기본 세팅을 WSL로 변경하기 먼저는 Windows Terminal을 켰을 때 WSL(Ubuntu)가 켜지도록 세팅해봅시다. 이는 Terminal의 상단 바에서 설정을 눌러 settings.json file을 수정해주어야 합니다. 설정 파일에서 defaultProfile을 밑에 list에서 name이 Ubuntu인 것을 찾아서 그 guid를 복사 붙여넣기 해주면 됩니다. 아무 것도 수정하지 않았다면 Windows PowerShell의 guid가 적혀져 있을 겁니다. "defaultProfile": "{c6eaf9f4-32a7-5fdc-b5cf-066e8a4b1e40}" # 저의 경우에..
Markdown으로 수식만들기 기본형식 ko.wikipedia.org/wiki/%EC%9C%84%ED%82%A4%EB%B0%B1%EA%B3%BC:TeX_%EB%AC%B8%EB%B2%95 위키백과:TeX 문법 - 위키백과, 우리 모두의 백과사전 위키백과, 우리 모두의 백과사전. 이 문서는 한국어 위키백과의 정보문입니다.이 문서는 정책과 지침은 아니지만, 위키백과의 규범과 관습 측면에서 공동체의 확립된 관행을 설명하고 있습니다 ko.wikipedia.org 자주쓰는걸 옮겨보자 $ (수식) $ 큰기호(A) 아래첨자(i) : $ A_i $ 시그마 : $ A_i = \sum_{k=1}^N k^2 $
Windows 10 에서 Linux 환경 구축하기 Windows가 아닌 Linux에서 개발해야 하는 상황이 많은 개발자들에게 Linux 환경은 필수입니다. 특히나 서버에 접속에서 서버의 GPU를 사용한다거나, 작업을 해야하는 경우에는 더욱이 Linux를 사용할 수 있어야 합니다. 하지만 저같이 Window를 사용하는 분들은 Linux를 바로 사용할 수 없고 추가적인 과정이 필요합니다ㅠㅠ 이번 글에서는 그러한 분들을 위해 Windows에서 Linux 환경을 구축하는 방법을 알려드리려고 합니다. 먼저 Windows에서 Linux 환경을 만들 수 있는 방법으로는 크게 두 가지가 있습니다. 1. VirtualBox, VMware 컴퓨터 가상화 프로그램으로, 비어있는 가상 머신 SW(Box) 안에 원하는 OS를 설치하여 그 환경으로 접속하여 사용할 수 있습니다...