[gedit/gnome-3-20] win32: remove dup



commit 3b5a1d3071dbb12c35befc546bf613fd86407526
Author: Sébastien Wilmet <sebastien wilmet uclouvain be>
Date:   Tue Jun 14 14:50:55 2016 +0200

    win32: remove dup
    
    'grep -v gtk30.mo' was present two times on the command line.

 win32/make-gedit-installer |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/win32/make-gedit-installer b/win32/make-gedit-installer
index 38fde2b..e982319 100644
--- a/win32/make-gedit-installer
+++ b/win32/make-gedit-installer
@@ -104,7 +104,7 @@ remove_useless_stuff() {
   find installer/SourceDir -name *.exe | xargs strip
 
   # remove some translation which seem to add a lot of size
-  find installer/SourceDir/share/locale/ -type f | grep -v atk10.mo | grep -v gtk30.mo | grep -v libpeas.mo 
| grep -v gsettings-desktop-schemas.mo | grep -v json-glib-1.0.mo | grep -v glib20.mo | grep -v gedit.mo | 
grep -v gedit-plugins.mo | grep -v gdk-pixbuf.mo | grep -v gtk30.mo | grep -v gtk30-properties.mo | grep -v 
gtksourceview-3.0.mo | grep -v iso_*.mo | xargs rm
+  find installer/SourceDir/share/locale/ -type f | grep -v atk10.mo | grep -v libpeas.mo | grep -v 
gsettings-desktop-schemas.mo | grep -v json-glib-1.0.mo | grep -v glib20.mo | grep -v gedit.mo | grep -v 
gedit-plugins.mo | grep -v gdk-pixbuf.mo | grep -v gtk30.mo | grep -v gtk30-properties.mo | grep -v 
gtksourceview-3.0.mo | grep -v iso_*.mo | xargs rm
   find installer/SourceDir/share/locale -type d | xargs rmdir -p --ignore-fail-on-non-empty
 }
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]