Desktop, File Browser & Command Line
Secara pribadi, saya telah membuat /home/bin
direktori untuk menyimpan skrip untuk acara-acara seperti ini.
$ sudo mkdir /home/bin
Pastikan bahwa untuk setiap pengguna direktori /home/bin
dapat diakses:
$ sudo chmod +rx /home/bin
Selanjutnya direktori baru harus terdaftar sebagai PATH="/home/bin:$PATH"
dalam ~/.profile
file setiap pengguna atau di mana pun PATH
akan didefinisikan pada sistem Anda.
Simpan bash
skrip di bawah ini seperti jabref
dalam /home/bin/
direktori yang baru dibuat .
#!/usr/bin/env bash
INSTALLDIR='/home/opt/jabref'
# Run the latest version.
java -jar $(ls -1v $INSTALLDIR/JabRef*.jar |tail -n 1) $@ &
The bash
Script harus dibuat executable dengan:
$ sudo chmod +x jabref
Skrip akan membuka versi terbaru dari yang JabRef*.jav
sebelumnya disimpan /home/opt/jabref/
dengan peluncur desktop yang sudah ada atau integrasi browser file apa pun. Cukup mengetik jabref
di baris perintah juga berfungsi.
sudo snap install jabref --edge --devmode
. Memperbarui:sudo snap refresh jabref --edge --devmode
. Akan ada versi stabil segera setelah a) JabRef 4.0 dirilis dan b) snap ini dianggap stabil. Umpan balik dan dukungan apa pun dihargai.