From be324be798860c37771ca0ab3ddb0646e2be4fb8 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 10 Aug 2013 08:46:43 -0600 Subject: [PATCH] Add ".desktop" file support A launcher can have a ".desktop" file (found like other files: as the same name as the main launcher file, but with a ".desktop" suffix), where the "Exec" and "Icon" fields are added automatically. A ".png" or ".ico" file can be supplied for the icon (where the ".ico" file is already used for Windows launchers). Closes PR 13953 Fix various problems with Unix-style install from an installer. Also, add an ugly icon for the Racket Package Manager, with the hope that it will provoke someone to create a nicer one. original commit: 58c0074a7181a1590dfa0a931ba63c29a4334726 --- racket/collects/launcher/launcher-sig.rkt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/racket/collects/launcher/launcher-sig.rkt b/racket/collects/launcher/launcher-sig.rkt index 0000ef3ba4..9a2007b19f 100644 --- a/racket/collects/launcher/launcher-sig.rkt +++ b/racket/collects/launcher/launcher-sig.rkt @@ -52,3 +52,6 @@ available-mred-variants available-mzscheme-variants available-gracket-variants available-racket-variants + +installed-executable-path->desktop-path +installed-desktop-path->icon-path