일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | |||
5 | 6 | 7 | 8 | 9 | 10 | 11 |
12 | 13 | 14 | 15 | 16 | 17 | 18 |
19 | 20 | 21 | 22 | 23 | 24 | 25 |
26 | 27 | 28 | 29 | 30 | 31 |
Tags
- php호스팅
- 무료제작
- 자바스크립트
- 호스팅
- 자바키워드
- 웹퍼블리셔
- php
- 클릭해제
- 무료호스팅
- 홈페이지제작
- 무료 웹 호스팅
- 퍼빌리셔
- postcodify
- 문자열 뒤집기
- 무료 호스팅
- 마우스오른쪽
- 글자뒤집기
- 무료홈페이지
- 무료
- 무료서버
- 우체국 우편번호
- 우편번호 API
- 마우스 오른쪽 버튼
- 무료 홈페이지
- 복사방지
- 무료사이트
- 웹퍼블리싱
- 새우편번호
- 무료 홈페이지 제작
- 웹호스팅
Archives
- Today
- Total
Developer Factory
Ubuntu에 Java 설치 : JAVA_HOME 설정 본문
1. JAVA_HOME 설정 개요
- 모든 사람이 주지하다시피 JAVA_HOME을 설정해야 이놈의 java를 쓸 수 있다.
- 만약 이 PC에 접속한 모든 사람이 java를 쓰게 하려면 /etc/environment 를 수정하면 되는데,
왜그런지 모르겠으나 계속 실패함...ㅠㅜ
- 그래서 나만(...) 쓰는 환경으로 변경;;;
2. gedit 으로 프로파일 수정
- 이 .profile 이라는 녀석은, 부팅해서 로그인할 때 환경을 쫙~ 설정하는 녀석이라고 함.
- $ sudo gedit /home/username/.profile 으로 profile 파일 열기 (앞의 .은 숨김파일이라는 의미~)
- 파일의 가장 아래 부분에, 아래 두 줄 추가 (주의: =의 양쪽에 공백이 있으면 command not found error가 발생)
JAVA_HOME=/usr/lib/jvm/jdk1.7.0
PATH=$JAVA_HOME/bin:$PATH
- JAVA_HOME 다음에는 현재 jdk가 설치되어 있는 폴더의 이름을 기입한다.
- 각 변수명의 앞에 붙어 있는 $는, 앞에서 정의되어 있는 녀석을 그대로 쓴다는 의미.
즉 $JAVA_HOME:은 윗 줄에서 정의한 path를 사용한다는 의미이며,
$PATH를 씀으로서 위에서 정의한 PATH 역시도 사용하겠다는 의미가 된다.
3. 수정된 값 적용
- $ . .profile 혹은 $ source .profile
- 이렇게 하면 방금 변경된 값이 반영된다고 함. 혹은 그냥 심플하게 로그아웃 & 다시 로그인~
참고 : http://guanming.tistory.com/116
'Developer > Linux' 카테고리의 다른 글
우분투에 deb 파일 설치 하기. (0) | 2014.06.16 |
---|---|
우분투에서 Eclipse 설치하는 방법 (0) | 2014.06.16 |
Ubuntu Java 버전 변경하기 (0) | 2014.06.16 |
우분투(Ubuntu) sudo 권한 부여하기 (0) | 2014.06.16 |
리눅스 ln 명령어 (0) | 2014.06.16 |