From eac3589ace7cb8d3e746ee92edbf2952eee7e760 Mon Sep 17 00:00:00 2001 From: piernov Date: Sun, 14 Aug 2011 12:39:58 +0200 Subject: gnome-shell-extensions 3.1.4-1 ajout port --- gnome-shell-extensions/.footprint.i686 | 75 ++++++++++++++++++++++++++++++++ gnome-shell-extensions/.footprint.x86_64 | 75 ++++++++++++++++++++++++++++++++ gnome-shell-extensions/.md5sum.i686 | 1 + gnome-shell-extensions/.md5sum.x86_64 | 1 + gnome-shell-extensions/Pkgfile | 36 +++++++++++++++ gnome-shell-extensions/post-install | 8 ++++ 6 files changed, 196 insertions(+) create mode 100644 gnome-shell-extensions/.footprint.i686 create mode 100644 gnome-shell-extensions/.footprint.x86_64 create mode 100644 gnome-shell-extensions/.md5sum.i686 create mode 100644 gnome-shell-extensions/.md5sum.x86_64 create mode 100644 gnome-shell-extensions/Pkgfile create mode 100755 gnome-shell-extensions/post-install (limited to 'gnome-shell-extensions') diff --git a/gnome-shell-extensions/.footprint.i686 b/gnome-shell-extensions/.footprint.i686 new file mode 100644 index 0000000..78e8b0c --- /dev/null +++ b/gnome-shell-extensions/.footprint.i686 @@ -0,0 +1,75 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/glib-2.0/ +drwxr-xr-x root/root usr/share/glib-2.0/schemas/ +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.alternate-tab.gschema.xml +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.auto-move-windows.gschema.xml +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dock.gschema.xml +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.native-window-placement.gschema.xml +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.user-theme.gschema.xml +drwxr-xr-x root/root usr/share/gnome-shell/ +drwxr-xr-x root/root usr/share/gnome-shell/extensions/ +drwxr-xr-x root/root usr/share/gnome-shell/extensions/alternate-tab@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternate-tab@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternate-tab@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternate-tab@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/auto-move-windows@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/auto-move-windows@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/auto-move-windows@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/auto-move-windows@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/drive-menu@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/drive-menu@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/drive-menu@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/drive-menu@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/example@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/example@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/example@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/example@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/gajim@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/gajim@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/gajim@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/gajim@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/native-window-placement@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/native-window-placement@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/native-window-placement@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/native-window-placement@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/places-menu@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/places-menu@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/places-menu@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/places-menu@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/systemMonitor@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/systemMonitor@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/systemMonitor@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/systemMonitor@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/windowsNavigator@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/windowsNavigator@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/windowsNavigator@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/windowsNavigator@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/xrandr-indicator@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/xrandr-indicator@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/xrandr-indicator@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/xrandr-indicator@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/locale/ +drwxr-xr-x root/root usr/share/locale/fr/ +drwxr-xr-x root/root usr/share/locale/fr/LC_MESSAGES/ +-rw-r--r-- root/root usr/share/locale/fr/LC_MESSAGES/gnome-shell-extensions.mo diff --git a/gnome-shell-extensions/.footprint.x86_64 b/gnome-shell-extensions/.footprint.x86_64 new file mode 100644 index 0000000..78e8b0c --- /dev/null +++ b/gnome-shell-extensions/.footprint.x86_64 @@ -0,0 +1,75 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/glib-2.0/ +drwxr-xr-x root/root usr/share/glib-2.0/schemas/ +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.alternate-tab.gschema.xml +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.auto-move-windows.gschema.xml +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dock.gschema.xml +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.native-window-placement.gschema.xml +-rw-r--r-- root/root usr/share/glib-2.0/schemas/org.gnome.shell.extensions.user-theme.gschema.xml +drwxr-xr-x root/root usr/share/gnome-shell/ +drwxr-xr-x root/root usr/share/gnome-shell/extensions/ +drwxr-xr-x root/root usr/share/gnome-shell/extensions/alternate-tab@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternate-tab@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternate-tab@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternate-tab@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/alternative-status-menu@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/auto-move-windows@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/auto-move-windows@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/auto-move-windows@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/auto-move-windows@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/dock@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/drive-menu@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/drive-menu@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/drive-menu@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/drive-menu@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/example@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/example@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/example@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/example@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/gajim@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/gajim@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/gajim@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/gajim@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/native-window-placement@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/native-window-placement@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/native-window-placement@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/native-window-placement@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/places-menu@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/places-menu@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/places-menu@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/places-menu@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/systemMonitor@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/systemMonitor@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/systemMonitor@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/systemMonitor@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/user-theme@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/windowsNavigator@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/windowsNavigator@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/windowsNavigator@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/windowsNavigator@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/workspace-indicator@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/gnome-shell/extensions/xrandr-indicator@gnome-shell-extensions.gnome.org/ +-rw-r--r-- root/root usr/share/gnome-shell/extensions/xrandr-indicator@gnome-shell-extensions.gnome.org/extension.js +-rw-r--r-- root/root usr/share/gnome-shell/extensions/xrandr-indicator@gnome-shell-extensions.gnome.org/metadata.json +-rw-r--r-- root/root usr/share/gnome-shell/extensions/xrandr-indicator@gnome-shell-extensions.gnome.org/stylesheet.css +drwxr-xr-x root/root usr/share/locale/ +drwxr-xr-x root/root usr/share/locale/fr/ +drwxr-xr-x root/root usr/share/locale/fr/LC_MESSAGES/ +-rw-r--r-- root/root usr/share/locale/fr/LC_MESSAGES/gnome-shell-extensions.mo diff --git a/gnome-shell-extensions/.md5sum.i686 b/gnome-shell-extensions/.md5sum.i686 new file mode 100644 index 0000000..f20b89e --- /dev/null +++ b/gnome-shell-extensions/.md5sum.i686 @@ -0,0 +1 @@ +6c26465a635532b56740e549b032e902 gnome-shell-extensions-3.1.4.tar.xz diff --git a/gnome-shell-extensions/.md5sum.x86_64 b/gnome-shell-extensions/.md5sum.x86_64 new file mode 100644 index 0000000..f20b89e --- /dev/null +++ b/gnome-shell-extensions/.md5sum.x86_64 @@ -0,0 +1 @@ +6c26465a635532b56740e549b032e902 gnome-shell-extensions-3.1.4.tar.xz diff --git a/gnome-shell-extensions/Pkgfile b/gnome-shell-extensions/Pkgfile new file mode 100644 index 0000000..d7481c4 --- /dev/null +++ b/gnome-shell-extensions/Pkgfile @@ -0,0 +1,36 @@ +# Description: Extensions pour GNOME Shell +# URL: http://live.gnome.org/GnomeShell/Extensions +# Maintainer: NuTyX GNOME team +# Packager: piernov +# Depends on: gnome-shell +# Run on: gnome-shell + +name=gnome-shell-extensions +version=3.1.4 +release=1 +source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.xz) + +_extensions=(alternate-tab + alternative-status-menu + apps-menu + auto-move-windows + dock + drive-menu + example + gajim + native-window-placement + places-menu + systemMonitor + user-theme + windowsNavigator + workspace-indicator + xrandr-indicator) + +build() { + cd $name-$version + ./configure --prefix=/usr \ + --enable-extensions="${_extensions[*]}" \ + --disable-schemas-compile + make + make DESTDIR=$PKG install +} diff --git a/gnome-shell-extensions/post-install b/gnome-shell-extensions/post-install new file mode 100755 index 0000000..252f566 --- /dev/null +++ b/gnome-shell-extensions/post-install @@ -0,0 +1,8 @@ +#!/bin/sh + +port=gnome-shell + +# glib schemas +/usr/bin/glib-compile-schemas /usr/share/glib-2.0/schemas + +# End of file -- cgit v1.2.3-70-g09d2