Desktop, File Browser & Command Line
Secara pribadi, saya telah membuat /home/bindirektori untuk menyimpan skrip untuk acara-acara seperti ini.
$ sudo mkdir /home/bin
Pastikan bahwa untuk setiap pengguna direktori /home/bindapat diakses:
$ sudo chmod +rx /home/bin
Selanjutnya direktori baru harus terdaftar sebagai PATH="/home/bin:$PATH"dalam ~/.profilefile setiap pengguna atau di mana pun PATHakan didefinisikan pada sistem Anda.
Simpan bashskrip di bawah ini seperti jabrefdalam /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 bashScript harus dibuat executable dengan:
$ sudo chmod +x jabref
Skrip akan membuka versi terbaru dari yang JabRef*.javsebelumnya disimpan /home/opt/jabref/dengan peluncur desktop yang sudah ada atau integrasi browser file apa pun. Cukup mengetik jabrefdi 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.