Dependencies Ubuntu gedit How to Create Desktop Launcher 1. Create icon image Let’s make .icons directory at /home/<user-name> with following commands. $ mkdir ~/.icons && xdg-open ~/.icons If .icons folder opens,…

Introduction Guake란? Guake는 리눅스 GNOME Desktop 환경에서 사용할 수 있도록 만들어진 드롭다운 터미널입니다. Guake의 창 스타일은 FPS 게임에서 차용하였다고 개발자는 소개하고 있습니다. 아마 많은 FPS 게임에서 Backtick 키를 누르면 나타나는 콘솔창을 말하는 것 같습니다. 이러한…

Introduction Pintos란? Pintos는 미국 스탠포드 대학교에서 CS140 : Operating Systems 수업을 위해 만든 교육용 운영체제입니다. 국내 많은 대학에서도 운영체제 수업에서 Pintos를 활용하고 있습니다. 교육용인 만큼 학생들이 커널이나 프로그램을 쉽게 짜볼 순 있지만, 실제 사용 환경에서 쓰는…

Dependencies Ubuntu build-essentials Problems 필자는 보통의 프로젝트를 빌드할 땐, 가장 최신 버전인 gcc-5를 사용해왔다. 하지만 최근 운영체제론 수업 과제 때문에 pintos를 컴파일하는 과정에서 gcc-5를 사용해 컴파일했더니 make check에서 제대로 Pass되어야 할 Thread도 Fail이 뜨는 경우가…