Bug i gnome-launch-box
På grunn av en bug er det lenge siden jeg har fått gnome-launch-box til å fungere. Denne fungerer tilsvarende Launchy for Windows eller Quicksilver for MacOS.
Bugrapporten tilsier at den fungerer greit første gangen den startes, men den krasjer konsekvent andre gangen. En «workaround» er å lage et script, som beskrevet i bugrapporten, men [...]