diff options
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, 0 insertions, 80 deletions
diff --git a/gnome-unstable/gnome-shell/PKGBUILD b/gnome-unstable/gnome-shell/PKGBUILD deleted file mode 100644 index 411564527..000000000 --- a/gnome-unstable/gnome-shell/PKGBUILD +++ /dev/null @@ -1,33 +0,0 @@ -# $Id: PKGBUILD 168833 2012-10-16 11:21:12Z jgc $ -# Maintainer: Ionut Biru <ibiru@archlinux.org> -# Contributor: Flamelab <panosfilip@gmail.com - -pkgname=gnome-shell -pkgver=3.6.1 -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=('566a9d902f85a89c23dc29f1789f859aa2c5a0de7dffa5235bf5a1885c76a3a7') - -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 deleted file mode 100644 index 27d70b19d..000000000 --- a/gnome-unstable/gnome-shell/gnome-shell.install +++ /dev/null @@ -1,19 +0,0 @@ -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 deleted file mode 100644 index 41134a31a..000000000 --- a/gnome-unstable/gnome-shell/recorder.patch +++ /dev/null @@ -1,28 +0,0 @@ -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 |