Network. Security. My all.

How to Create Desktop Launcher in Ubuntu

 Ubuntu

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

GNOME을 위한 드롭다운 터미널, Guake

 Ubuntu, GNOME

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

Pintos 설치하기

 Pintos

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

GCC, G++ 다른 버전 추가하고 패키지 관리하기

 GCC

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