diff options
author | root <root@rshg054.dnsready.net> | 2012-09-26 00:54:07 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2012-09-26 00:54:07 -0700 |
commit | 483f8b3ac46ac2d40e8cc2f9c25365741bebc791 (patch) | |
tree | 296f95ddbf8e5cd3ddfeea60e88a64b3593f9e1e /gnome-unstable/gnome-shell | |
parent | fca7e8a735bd3ae5114a3cdf12efbce3b1d10224 (diff) |
Wed Sep 26 00:54:06 PDT 2012
Diffstat (limited to 'gnome-unstable/gnome-shell')
-rw-r--r-- | gnome-unstable/gnome-shell/PKGBUILD | 33 | ||||
-rw-r--r-- | gnome-unstable/gnome-shell/gnome-shell.install | 19 | ||||
-rw-r--r-- | gnome-unstable/gnome-shell/recorder.patch | 28 |
3 files changed, 80 insertions, 0 deletions
diff --git a/gnome-unstable/gnome-shell/PKGBUILD b/gnome-unstable/gnome-shell/PKGBUILD new file mode 100644 index 000000000..16f68f0f9 --- /dev/null +++ b/gnome-unstable/gnome-shell/PKGBUILD @@ -0,0 +1,33 @@ +# $Id: PKGBUILD 167089 2012-09-25 10:46:37Z jgc $ +# Maintainer: Ionut Biru <ibiru@archlinux.org> +# Contributor: Flamelab <panosfilip@gmail.com + +pkgname=gnome-shell +pkgver=3.5.92 +pkgrel=1 +pkgdesc="The next generation GNOME Shell" +arch=('i686' 'x86_64') +url="http://live.gnome.org/GnomeShell" +license=('GPL2') +depends=('caribou' 'folks' 'gcr' 'gjs' 'gnome-bluetooth' 'gnome-desktop' 'gnome-menus' 'libcroco' 'libpulse' 'mutter' 'nautilus' 'networkmanager' 'telepathy-logger' 'telepathy-mission-control' 'unzip') +makedepends=('intltool' 'gnome-doc-utils') +optdepends=('network-manager-applet: shell integration for networkmanager') +options=('!libtool' '!emptydirs') +install=gnome-shell.install +groups=(gnome) +source=(http://ftp.gnome.org/pub/GNOME/sources/$pkgname/${pkgver%.*}/$pkgname-$pkgver.tar.xz) +sha256sums=('bf43ade818f2fd7631492a5eb61522524b7bdb84d3627a21bd4bde9100e0e6af') + +build() { + cd $pkgname-$pkgver + PYTHON=/usr/bin/python2 ./configure --prefix=/usr --sysconfdir=/etc \ + --libexecdir=/usr/lib/gnome-shell \ + --localstatedir=/var --disable-static \ + --disable-schemas-compile + make +} + +package() { + cd $pkgname-$pkgver + make DESTDIR="$pkgdir" install +} diff --git a/gnome-unstable/gnome-shell/gnome-shell.install b/gnome-unstable/gnome-shell/gnome-shell.install new file mode 100644 index 000000000..27d70b19d --- /dev/null +++ b/gnome-unstable/gnome-shell/gnome-shell.install @@ -0,0 +1,19 @@ +pkgname=gnome-shell + +post_install() { + glib-compile-schemas /usr/share/glib-2.0/schemas +} + +pre_upgrade() { + if [ -f /usr/share/gconf/schemas/$pkgname.schemas ]; then + gconfpkg --uninstall $pkgname + fi +} + +post_upgrade() { + post_install +} + +post_remove() { + post_install +} diff --git a/gnome-unstable/gnome-shell/recorder.patch b/gnome-unstable/gnome-shell/recorder.patch new file mode 100644 index 000000000..41134a31a --- /dev/null +++ b/gnome-unstable/gnome-shell/recorder.patch @@ -0,0 +1,28 @@ +From 915524e1ab7d2c5efb95985f30ee2f7c5ca69554 Mon Sep 17 00:00:00 2001 +From: Rui Matos <tiagomatos@gmail.com> +Date: Wed, 02 May 2012 14:44:40 +0000 +Subject: main: Close the recorder instead of pausing it + +Pausing means that we will continue to use the same output file when +the keybinding is activated again. While useful to record a single +video in chunks, it doesn't seem to be how most users understand the +keybinding. Closing the recorder will close the file and create a new +one the next time the keybinding is pressed. + +https://bugzilla.gnome.org/show_bug.cgi?id=675128 +--- +diff --git a/js/ui/main.js b/js/ui/main.js +index 3b80297..25ad8d8 100644 +--- a/js/ui/main.js ++++ b/js/ui/main.js +@@ -110,7 +110,7 @@ function _initRecorder() { + } + + if (recorder.is_recording()) { +- recorder.pause(); ++ recorder.close(); + Meta.enable_unredirect_for_screen(global.screen); + } else { + // read the parameters from GSettings always in case they have changed +-- +cgit v0.9.0.2 |