jEdit のインストール（Ubuntu 上）

jEdit は pure Java のエディタ． pure Java なので Windows でも，Linux でも，Mac でも動く．

前準備

Ubuntu のシステム更新

Ubuntu で OS のシステム更新を行うときは，端末で，次のコマンドを実行する．

Ubuntu で OS のシステム更新を行うときは，端末で，次のコマンドを実行する。これは、パッケージ情報を最新の状態に保ち、インストール済みのパッケージをセキュリティアップデートやバグ修正を含めて更新するためである。

# パッケージリストの情報を更新
sudo apt update
# インストール済みのパッケージを包括的に更新 (依存関係も考慮)
sudo apt full-upgrade
# カーネル更新等で実際に再起動が必要な場合のみ実行を推奨
# sudo shutdown -r now

jEdit のインストール（Ubuntu 上）

端末で，次のコマンドを実行する．

sudo apt -y install jedit

(オプション) emacs キーバインディングのインストール

cd /tmp
git clone https://github.com/bmc/jedit-emacs.git
mkdir ~/.jedit
mkdir ~/.jedit/startup
cp jedit-emacs/startup/* ~/.jedit/startup/
mkdir ~/.jedit/macros
mkdir ~/.jedit/macros/Emacs
cp jedit-emacs/*.bsh jedit-emacs/shortcuts.properties jedit-emacs/*.md ~/.jedit/macros/Emacs