Escritorio, navegador de archivos y línea de comando
Personalmente, he creado un /home/bin
directorio para guardar scripts para ocasiones como esta.
$ sudo mkdir /home/bin
Solo asegúrese de que para cada usuario /home/bin
se pueda acceder al directorio :
$ sudo chmod +rx /home/bin
Además, el nuevo directorio debe aparecer como PATH="/home/bin:$PATH"
en el ~/.profile
archivo de cada usuario o donde sea PATH
que esté definido en su sistema.
Guarde la bash
secuencia de comandos a continuación como jabref
en el /home/bin/
directorio recién creado .
#!/usr/bin/env bash
INSTALLDIR='/home/opt/jabref'
# Run the latest version.
java -jar $(ls -1v $INSTALLDIR/JabRef*.jar |tail -n 1) $@ &
El bash
script debe hacerse ejecutable con:
$ sudo chmod +x jabref
El script abrirá la última versión de JabRef*.jav
guardado previamente /home/opt/jabref/
con cualquier lanzador de escritorio existente o con cualquier integración de explorador de archivos. Simplemente escribir jabref
en la línea de comando también funciona.
sudo snap install jabref --edge --devmode
. Actualización:sudo snap refresh jabref --edge --devmode
. Habrá una versión estable tan pronto como a) se publique JabRef 4.0 yb) este complemento se considere estable. Cualquier comentario y apoyo es apreciado.