develog

Install TPTP with Update Managerhttp://wiki.eclipse.org/Install_TPTP_with_Update_Manager eclipse > Help > install new software > Install > Add > Add Repository- Name: Galileo- Location: http://download.eclipse.org/releases/galileo

출처: http://chanyi.egloos.com/viewer/4491641 2. 설정파일의 종류/etc/profile : 시스템 규모의 환경 설정과 시작 프로그램들이 들어있다. /etc/bashrc : 시스템 규모의 alias들과 함수들이 들어있다. $HOME/.bash_profile : 사용자가 결정한 환경 설정과 시작 프로그램들이 들어있다. $HOME/.bashrc : 사용자가 정의한 alias들과 함수들이 있다. 각 사용자별로 적용되는 설정 파일 ~/.bash_profile ~/.bashrc 전체 사용자에게 공통으로 적용되는 설정파일 /etc/profile /etc/bashrc