[gedit/gnome-3-20] win32: remove dup
- From: Sébastien Wilmet <swilmet src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit/gnome-3-20] win32: remove dup
- Date: Tue, 14 Jun 2016 17:41:58 +0000 (UTC)
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]