summaryrefslogtreecommitdiffstats
path: root/gnome-shell-extensions
diff options
context:
space:
mode:
authorpiernov <piernov@piernov.org>2011-08-14 12:39:58 +0200
committerpiernov <piernov@piernov.org>2011-08-14 12:39:58 +0200
commiteac3589ace7cb8d3e746ee92edbf2952eee7e760 (patch)
tree31e02f7551821c30a1384b404d26db7852f92c04 /gnome-shell-extensions
parentd3a431bc029cca0a6359da120fd4dd0d64259dd4 (diff)
downloadgnome3-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.i68675
-rw-r--r--gnome-shell-extensions/.footprint.x86_6475
-rw-r--r--gnome-shell-extensions/.md5sum.i6861
-rw-r--r--gnome-shell-extensions/.md5sum.x86_641
-rw-r--r--gnome-shell-extensions/Pkgfile36
-rwxr-xr-xgnome-shell-extensions/post-install8
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