From: Peter R. <p.r...@sh...> - 2017-04-13 21:34:36
|
On 13/04/17 17:40, Rich Shepard wrote: > On Thu, 13 Apr 2017, Aradenatorix Veckhôm Avecælus wrote: > >> I'll try to apply your suggestions, I'm curious about your script, >> especially for what you say about the JabRef icon. > I'm not Peter, but I use a shell script to start JabRef: > > ----- > #!/bin/bash > > cd /opt/JabRef/ > java -jar JabRef-3.8.2.jar > cd > ----- That is pretty much what my script looks like. > > My virtual desktop/window manager is Xfce4 so I find a suitable picture to > associate with the JabRef entry on the panel. I think I got the Jabref icon by installing the repo version and then copying the icon from /usr/share/pixmaps/something-or-other. Try searching in /usr/share for "jabref*.xpm" using the Places->Search tool. My icon is called jabref32.xpm. P. > > HTH, > > Rich > > ------------------------------------------------------------------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > Jabref-users mailing list > Jab...@li... > https://lists.sourceforge.net/lists/listinfo/jabref-users |