blob: d7481c43f3b6411be0b29b603dcb0f42311d4deb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
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
}
|
