diff options
author | piernov <piernov@piernov.org> | 2011-08-14 12:39:58 +0200 |
---|---|---|
committer | piernov <piernov@piernov.org> | 2011-08-14 12:39:58 +0200 |
commit | eac3589ace7cb8d3e746ee92edbf2952eee7e760 (patch) | |
tree | 31e02f7551821c30a1384b404d26db7852f92c04 /gnome-shell-extensions | |
parent | d3a431bc029cca0a6359da120fd4dd0d64259dd4 (diff) | |
download | gnome3-eac3589ace7cb8d3e746ee92edbf2952eee7e760.tar.gz gnome3-eac3589ace7cb8d3e746ee92edbf2952eee7e760.tar.bz2 gnome3-eac3589ace7cb8d3e746ee92edbf2952eee7e760.tar.xz gnome3-eac3589ace7cb8d3e746ee92edbf2952eee7e760.zip |
gnome-shell-extensions 3.1.4-1 ajout port
Diffstat (limited to 'gnome-shell-extensions')
-rw-r--r-- | gnome-shell-extensions/.footprint.i686 | 75 | ||||
-rw-r--r-- | gnome-shell-extensions/.footprint.x86_64 | 75 | ||||
-rw-r--r-- | gnome-shell-extensions/.md5sum.i686 | 1 | ||||
-rw-r--r-- | gnome-shell-extensions/.md5sum.x86_64 | 1 | ||||
-rw-r--r-- | gnome-shell-extensions/Pkgfile | 36 | ||||
-rwxr-xr-x | gnome-shell-extensions/post-install | 8 |
6 files changed, 196 insertions, 0 deletions
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 <piernov@piernov.org> +# 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 |