You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					
					
						
							41 lines
						
					
					
						
							1.7 KiB
						
					
					
				
			
		
		
	
	
							41 lines
						
					
					
						
							1.7 KiB
						
					
					
				# --- SDE-COPYRIGHT-NOTE-BEGIN --- | 
						|
# This copyright note is auto-generated by ./scripts/Create-CopyPatch. | 
						|
# | 
						|
# Filename: package/.../mono-develop/mono-develop-2.4.2-no-update-icon-cache.patch | 
						|
# Copyright (C) 2011 The OpenSDE Project | 
						|
# | 
						|
# More information can be found in the files COPYING and README. | 
						|
# | 
						|
# This patch file is dual-licensed. It is available under the license the | 
						|
# patched project is licensed under, as long as it is an OpenSource license | 
						|
# as defined at http://www.opensource.org/ (e.g. BSD, X11) or under the terms | 
						|
# of the GNU General Public License as published by the Free Software | 
						|
# Foundation; either version 2 of the License, or (at your option) any later | 
						|
# version. | 
						|
# --- SDE-COPYRIGHT-NOTE-END --- | 
						|
 | 
						|
--- monodevelop-2.4.2/theme-icons/icon-theme-installer.orig	2011-05-23 11:35:34.824003157 +0200 | 
						|
+++ monodevelop-2.4.2/theme-icons/icon-theme-installer	2011-05-23 11:40:38.436002471 +0200 | 
						|
@@ -164,16 +164,12 @@ | 
						|
 	gtk_update_icon_cache_bin="$((which gtk-update-icon-cache || echo /opt/gnome/bin/gtk-update-icon-cache)2>/dev/null)" | 
						|
 	gtk_update_icon_cache="$gtk_update_icon_cache_bin -f -t $INSTALL_BASE_DIR" | 
						|
  | 
						|
-	if test -z "$INSTALL_DEST_DIR"; then  | 
						|
-		if test -x $gtk_update_icon_cache_bin; then  | 
						|
-			echo "Updating GTK icon cache" | 
						|
-			$gtk_update_icon_cache | 
						|
-		else | 
						|
-			echo "*** Icon cache not updated. Could not execute $gtk_update_icon_cache_bin" | 
						|
-		fi | 
						|
-	else | 
						|
-		echo "*** Icon cache not updated. After install, run this:" | 
						|
-		echo "***   $gtk_update_icon_cache" | 
						|
+	if test -x $gtk_update_icon_cache_bin; then  | 
						|
+		gtk_update_icon_cache_bin="gtk-update-icon-cache" | 
						|
+		echo "*** Could not find $gtk_update_icon_cache_bin" | 
						|
 	fi | 
						|
+ | 
						|
+	echo "*** Icon cache not updated. After install, run this:" | 
						|
+	echo "***   $gtk_update_icon_cache" | 
						|
 fi | 
						|
 
 | 
						|
 |