20121217 고현석입니다.


pintos 압축파일을 다시 설치하려고 홈 디렉토리에있는 파일을 싹 지워버렸는데


홈 디렉토리에 있던 .bashrc 파일은 pintos 를 설치해도 다시 생성되지가 않네요. 


ㅠㅠ 



XE Login