diff --git a/Introduction/2. Getting Started.md b/Introduction/2. Getting Started.md index 1fd9e44d6cf5ab87769b2d6f81eae6abb3033df0..31a221445cd57b8b3bb8155ac289c87586459120 100644 --- a/Introduction/2. Getting Started.md +++ b/Introduction/2. Getting Started.md @@ -1,4 +1,4 @@ -### 시작하기 +# 시작하기 Pintos를 시작하려면 이를 빌드할 수 있는 머신에 로그인해야 합니다. 강사진이 제공한 Linux 머신이나, 본인의 Solaris 또는 Linux 머신을 사용할 수 있습니다. 하지만 우리는 제공된 머신에서 코드를 테스트할 것이며, 이 문서의 지침 또한 이 환경을 기준으로 작성되었습니다. 본인의 머신에 Pintos를 설치하고 작업하는 데는 지원이 어렵습니다. 아래와 같은 서버 환경이 각 학생에게 제공될 예정입니다. @@ -17,7 +17,7 @@ Pintos 소스 코드를 ‘pintos’라는 디렉터리에 가져오려면 아 홈 디렉터리의 .bashrc 파일에 이 명령어를 추가하는 것이 좋습니다. 그렇지 않으면, 매번 로그인할 때마다 이 명령어를 입력해야 합니다. -### 소스 트리 개요 +# 소스 트리 개요 디렉토리 안의 내용을 확인해 봅시다. pintos/ 디렉토리에서 확인할 수 있는 디렉터리 구조는 다음과 같습니다: