PasteRack.org | ||
Paste # 5845 | ||
2015-12-01 16:26:49 | ||
Fork as a new paste. | ||
Paste viewed 130 times. | ||
Tweet | ||
Embed: | ||
From f5bd48f8630b1c9fa77f9d64402af4bf69bb9b99 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa <asumu@ccs.neu.edu> Date: Mon, 30 Nov 2015 18:22:48 -0500 Subject: [PATCH 1/2] Install links to nicer 256x256/512x512 icons Also put small icons into /usr/share/icons --- debian/racket.links | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/debian/racket.links b/debian/racket.links index fc2b4ae..d820708 100644 --- a/debian/racket.links +++ b/debian/racket.links @@ -1,4 +1,8 @@ -/usr/share/racket/pkgs/icons/plt.xpm /usr/share/pixmaps/plt.xpm /usr/share/racket/pkgs/icons/plt-16x16.png /usr/share/pixmaps/plt-16x16.png /usr/share/racket/pkgs/icons/plt-32x32.png /usr/share/pixmaps/plt-32x32.png /usr/share/racket/pkgs/icons/plt-48x48.png /usr/share/pixmaps/plt-48x48.png +/usr/share/racket/pkgs/icons/plt-16x16.png /usr/share/icons/hicolor/16x16/apps/plt.png +/usr/share/racket/pkgs/icons/plt-32x32.png /usr/share/icons/hicolor/32x32/apps/plt.png +/usr/share/racket/pkgs/icons/plt-48x48.png /usr/share/icons/hicolor/48x48/apps/plt.png +/usr/share/racket/pkgs/icons/plt-logo-red-shiny@2x.png /usr/share/icons/hicolor/512x512/apps/plt.png +/usr/share/racket/pkgs/icons/plt-logo-red-shiny.png /usr/share/icons/hicolor/256x256/apps/plt.png -- 2.5.0