사용자 도구

사이트 도구


jedit

문서의 이전 판입니다!


JEdit

Debian/Ubuntu 설치

  • /etc/apt/sources.list.d/jedit.list
    deb http://switch.dl.sourceforge.net/project/jedit /
  • 아래 명령 실행
    sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys E6A233DBE3AFBEFC
    sudo apt-get update
    sudo apt-get install -y jedit
jedit.1388739375.txt.gz · 마지막으로 수정됨: 2014/01/03 17:56 저자 kwon37xi