Escritorio, navegador de archivos y línea de comando
Personalmente, he creado un /home/bindirectorio para guardar scripts para ocasiones como esta.
$ sudo mkdir /home/bin
Solo asegúrese de que para cada usuario /home/binse pueda acceder al directorio :
$ sudo chmod +rx /home/bin
Además, el nuevo directorio debe aparecer como PATH="/home/bin:$PATH"en el ~/.profilearchivo de cada usuario o donde sea PATHque esté definido en su sistema.
Guarde la bashsecuencia de comandos a continuación como jabrefen 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 bashscript debe hacerse ejecutable con:
$ sudo chmod +x jabref
El script abrirá la última versión de JabRef*.javguardado previamente /home/opt/jabref/con cualquier lanzador de escritorio existente o con cualquier integración de explorador de archivos. Simplemente escribir jabrefen 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.