diff options
Diffstat (limited to 'gnome')
| -rw-r--r-- | gnome/gnome-device-manager/.footprint | 45 | ||||
| -rw-r--r-- | gnome/gnome-device-manager/.md5sum | 1 | ||||
| -rw-r--r-- | gnome/gnome-device-manager/Pkgfile | 18 | ||||
| -rwxr-xr-x | gnome/gnome-device-manager/post-install | 8 |
4 files changed, 72 insertions, 0 deletions
diff --git a/gnome/gnome-device-manager/.footprint b/gnome/gnome-device-manager/.footprint new file mode 100644 index 000000000..8dc3ba4fc --- /dev/null +++ b/gnome/gnome-device-manager/.footprint @@ -0,0 +1,45 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/gnome-device-manager +drwxr-xr-x root/root usr/include/ +drwxr-xr-x root/root usr/include/gnome-device-manager/ +-rw-r--r-- root/root usr/include/gnome-device-manager/gdm-device.h +-rw-r--r-- root/root usr/include/gnome-device-manager/gdm-info-provider-iface.h +-rw-r--r-- root/root usr/include/gnome-device-manager/gdm-info-provider.h +-rw-r--r-- root/root usr/include/gnome-device-manager/gdm-pool.h +drwxr-xr-x root/root usr/lib/ +-rwxr-xr-x root/root usr/lib/libgnome-device-manager.la +lrwxrwxrwx root/root usr/lib/libgnome-device-manager.so -> libgnome-device-manager.so.0.0.0 +lrwxrwxrwx root/root usr/lib/libgnome-device-manager.so.0 -> libgnome-device-manager.so.0.0.0 +-rwxr-xr-x root/root usr/lib/libgnome-device-manager.so.0.0.0 +drwxr-xr-x root/root usr/lib/pkgconfig/ +-rw-r--r-- root/root usr/lib/pkgconfig/gnome-device-manager.pc +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/applications/ +-rw-r--r-- root/root usr/share/applications/gnome-device-manager.desktop +drwxr-xr-x root/root usr/share/gnome/ +drwxr-xr-x root/root usr/share/gnome/help/ +drwxr-xr-x root/root usr/share/gnome/help/gnome-device-manager/ +drwxr-xr-x root/root usr/share/gnome/help/gnome-device-manager/C/ +drwxr-xr-x root/root usr/share/gnome/help/gnome-device-manager/C/figures/ +-rw-r--r-- root/root usr/share/gnome/help/gnome-device-manager/C/figures/gnome-device-manager.png +-rw-r--r-- root/root usr/share/gnome/help/gnome-device-manager/C/gnome-device-manager.xml +-rw-r--r-- root/root usr/share/gnome/help/gnome-device-manager/C/legal.xml +drwxr-xr-x root/root usr/share/icons/ +drwxr-xr-x root/root usr/share/icons/hicolor/ +drwxr-xr-x root/root usr/share/icons/hicolor/16x16/ +drwxr-xr-x root/root usr/share/icons/hicolor/16x16/apps/ +drwxr-xr-x root/root usr/share/icons/hicolor/22x22/ +drwxr-xr-x root/root usr/share/icons/hicolor/22x22/apps/ +drwxr-xr-x root/root usr/share/icons/hicolor/48x48/ +drwxr-xr-x root/root usr/share/icons/hicolor/48x48/apps/ +-rw-r--r-- root/root usr/share/icons/hicolor/48x48/apps/gnome-device-manager-device-pci.png +-rw-r--r-- root/root usr/share/icons/hicolor/48x48/apps/gnome-device-manager-device-usb-interface.png +-rw-r--r-- root/root usr/share/icons/hicolor/48x48/apps/gnome-device-manager-device-usb.png +-rw-r--r-- root/root usr/share/icons/hicolor/48x48/apps/gnome-device-manager.png +drwxr-xr-x root/root usr/share/icons/hicolor/scalable/ +drwxr-xr-x root/root usr/share/icons/hicolor/scalable/apps/ +drwxr-xr-x root/root usr/share/locale/ +drwxr-xr-x root/root usr/share/omf/ +drwxr-xr-x root/root usr/share/omf/gnome-device-manager/ +-rw-r--r-- root/root usr/share/omf/gnome-device-manager/gnome-device-manager-C.omf diff --git a/gnome/gnome-device-manager/.md5sum b/gnome/gnome-device-manager/.md5sum new file mode 100644 index 000000000..d144efd82 --- /dev/null +++ b/gnome/gnome-device-manager/.md5sum @@ -0,0 +1 @@ +b833a90c940dd6cc992c42ad05ca6831 gnome-device-manager-0.2.tar.bz2 diff --git a/gnome/gnome-device-manager/Pkgfile b/gnome/gnome-device-manager/Pkgfile new file mode 100644 index 000000000..b157e3736 --- /dev/null +++ b/gnome/gnome-device-manager/Pkgfile @@ -0,0 +1,18 @@ +# Description: Gestionnaire des périphériques pour GNOME +# URL: http://www.gnome.org +# Maintainer: NuTyX core team +# Packager: thierryn1 at hispeed dot ch +# Depends on: hal, hicolor-icon-theme, libgnomeui, gnome-doc-utils + +name=gnome-device-manager +version=0.2 +release=1 +source=(http://hal.freedesktop.org/releases/$name-$version.tar.bz2) +build() { + cd $name-$version + ./configure --prefix=$GNOME_PREFIX \ + --localstatedir=/var --disable-scrollkeeper \ + --disable-static + make + make DESTDIR=$PKG install +} diff --git a/gnome/gnome-device-manager/post-install b/gnome/gnome-device-manager/post-install new file mode 100755 index 000000000..7ab833540 --- /dev/null +++ b/gnome/gnome-device-manager/post-install @@ -0,0 +1,8 @@ +#!/bin/sh + +port=alacarte + +# desktop database +update-desktop-database > /dev/null + +# End of file |