diff options
| author | piernov <piernov@piernov.org> | 2011-07-24 19:11:35 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.org> | 2011-07-24 19:11:35 +0200 |
| commit | 041a4648aa2f7352568d20609d4ed422264261fb (patch) | |
| tree | 3d32718f51e6d1bcf73b7a260732d88d31a9970c | |
| parent | e99fa3f952ec9b4cd15d8285975fb1886fa4c526 (diff) | |
| download | gnome3-041a4648aa2f7352568d20609d4ed422264261fb.tar.gz gnome3-041a4648aa2f7352568d20609d4ed422264261fb.tar.bz2 gnome3-041a4648aa2f7352568d20609d4ed422264261fb.tar.xz gnome3-041a4648aa2f7352568d20609d4ed422264261fb.zip | |
gnome-menus 3.0.1-1 correction conflit
| -rw-r--r-- | gnome-menus/Pkgfile | 2 | ||||
| -rw-r--r-- | gnome-menus/README | 1 | ||||
| -rwxr-xr-x | gnome-menus/post-install | 2 |
3 files changed, 5 insertions, 0 deletions
diff --git a/gnome-menus/Pkgfile b/gnome-menus/Pkgfile index a2a7b9e..aec2d6e 100644 --- a/gnome-menus/Pkgfile +++ b/gnome-menus/Pkgfile @@ -16,4 +16,6 @@ build() { --sysconfdir=/etc make make DESTDIR=$PKG install + + mv $PKG/etc/xdg/menus/applications.menu $PKG/etc/xdg/menus/applications.menu.gnome } diff --git a/gnome-menus/README b/gnome-menus/README new file mode 100644 index 0000000..7dc5ea5 --- /dev/null +++ b/gnome-menus/README @@ -0,0 +1 @@ +Ce paquet remplace le /etc/xdg/menus/applications.menu de kdelibs. diff --git a/gnome-menus/post-install b/gnome-menus/post-install index f395910..39e1a19 100755 --- a/gnome-menus/post-install +++ b/gnome-menus/post-install @@ -3,4 +3,6 @@ # desktop database update-desktop-database > /dev/null +mv -f /etc/xdg/menus/applications.menu.gnome /etc/xdg/menus/applications.menu + # End of file |