drjava-stable-20100816-r5366.jar
Linux用のdrjavaバージョンのファイルをダウンロードしました。自分のコンピュータにどのようにインストールしますか?
Ubuntu 11.10を実行しています。
私のコンピュータにはすでにOpenJDK Java 6ランタイムとSun Java 6ランタイムがあります。
答え1
インストールする? jarファイルが1つしかないようです。実行してみてください。
java -jar drjava-stable-20100816-r5366.jar
編集する
デスクトップにショートカットを作成し、次の項目を ~/Desktop/XX.desktop に配置できます。
[Desktop Entry]
Name=What ever
GenericName=What ever
Exec=java -jar /absolute/path/to/drjava.jar
Icon=gedit
Type=Application
デスクトップアイコンをダブルクリックすると起動します。右クリックしてランチャーアイコンを変更する必要があります。いくつかのオプションがありますが、わかりません。