사용자 도구

사이트 도구


jedit

JEdit

Debian/Ubuntu 설치

  • /etc/apt/sources.list.d/jedit.list
    #deb http://<mirror>.dl.sourceforge.net/project/jedit /
    deb http://jaist.dl.sourceforge.net/project/jedit /
  • Mirro 이름 목록 여기 목록에서 short name을 가져다 바꿔주면 되는 듯.
  • 아래 명령 실행
    sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC
    sudo apt-get update; sudo apt-get install -y jedit

기본 플러그인

  • Project View : 프로젝트 단위로 파일과 설정을 관리할 수 있도록 해준다.
  • Fast Open : 현재 프로젝트 내의 파일을 이름 몇글자로 검색하여 열 수 있게 해준다. Project View 플러그인에 의존.
  • CandyFold : Indent Guide
  • EditorConfig : EditorConfig 지원
jedit.txt · 마지막으로 수정됨: 2015/11/14 12:07 저자 kwon37xi