gnome-shell-extensions: remove; obsolete in 3.4.
This commit is contained in:
Juan RP
parent
ce3d68cf18
commit
b1a9384520
27 changed files with 0 additions and 223 deletions
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1 +0,0 @@
|
|||
gnome-shell-extensions
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-alternate-tab'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Alternate tab extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/alternate-tab
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-alternative-status-menu'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Alternative Status Menu extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/alternative-status-menu
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-apps-menu'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Apps menu extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/apps-menu
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-automove-windows'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Automove windows extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/auto-move-windows
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-dock'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Dock extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/dock
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-drive-menu'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Drive menu extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/drive-menu
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-native-window-placement'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Native window placement extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/native-window-placement
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-places-menu'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Places menu extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/places-menu
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-system-monitor'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="System monitor extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/systemMonitor
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-user-theme'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="User theme extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/user-theme
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-windows-navigator'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Windows navigator extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/windowsNavigator
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-workspace-indicator'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="Workspace indicator extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/workspace-indicator
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,13 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions-xrandr-indicator'.
|
||||
#
|
||||
depends="gnome-shell-extensions"
|
||||
short_desc="XRandR indicator extension for GNOME Shell"
|
||||
|
||||
|
||||
noarch=yes
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd ${wrksrc}/extensions/xrandr-indicator
|
||||
make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
|
|
@ -1,41 +0,0 @@
|
|||
# Template file for 'gnome-shell-extensions'
|
||||
pkgname=gnome-shell-extensions
|
||||
version=3.2.0
|
||||
homepage="http://live.gnome.org/GnomeShell/Extensions"
|
||||
distfiles="${GNOME_SITE}/$pkgname/3.2/$pkgname-$version.tar.xz"
|
||||
depends="gnome-shell>=3.2.0"
|
||||
makedepends="pkg-config intltool gnome-desktop-devel"
|
||||
short_desc="GNOME Shell extensions"
|
||||
maintainer="Juan RP <xtraeme@gmail.com>"
|
||||
license="GPL-2"
|
||||
checksum=dfbd5b7baed71219c6855c1b15c323b6e66a2163af8f9a1c2431d6ce90784f98
|
||||
long_desc="
|
||||
GNOME Shell Extensions is a collection of extensions providing additional
|
||||
and optional functionality to GNOME Shell."
|
||||
|
||||
noarch=yes
|
||||
subpackages="
|
||||
${pkgname}-alternate-tab ${pkgname}-alternative-status-menu
|
||||
${pkgname}-automove-windows ${pkgname}-dock ${pkgname}-native-window-placement
|
||||
${pkgname}-windows-navigator ${pkgname}-user-theme ${pkgname}-places-menu
|
||||
${pkgname}-system-monitor ${pkgname}-apps-menu ${pkgname}-workspace-indicator
|
||||
${pkgname}-xrandr-indicator ${pkgname}-drive-menu"
|
||||
|
||||
|
||||
do_build()
|
||||
{
|
||||
local exts="alternate-tab windowsNavigator dock auto-move-windows \
|
||||
drive-menu alternative-status-menu places-menu apps-menu \
|
||||
native-window-placement systemMonitor workspace-indicator \
|
||||
xrandr-indicator user-theme"
|
||||
|
||||
./configure --prefix=/usr --disable-schemas-compile \
|
||||
--enable-extensions="${exts}"
|
||||
|
||||
cd po && make
|
||||
}
|
||||
|
||||
do_install()
|
||||
{
|
||||
cd po && make DESTDIR=${DESTDIR} install
|
||||
}
|
||||
Loading…
Reference in a new issue