Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- pkgname=gnome-shell-extension-dash-to-panel
- pkgver=42
- pkgrel=1
- pkgdesc='Extension for GNOME shell to combine the dash and main panel'
- arch=('any')
- url="https://github.com/home-sweet-gnome/dash-to-panel"
- license=('GPL2')
- depends=('gnome-shell')
- makedepends=('git')
- _commit=1e46333210a8ed7a61d4c28e86f98f4abe579fcc
- source=("git+https://github.com/home-sweet-gnome/dash-to-panel.git#commit=$_commit"
- 'https://github.com/home-sweet-gnome/dash-to-panel/pull/1303.patch')
- sha256sums=('SKIP'
- '35a37df8e10b1ecb8b398c271ff5485ac190a72ae77a67782ba21dbdd365761b')
- pkgver() {
- cd "${srcdir}/dash-to-panel"
- git describe --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
- }
- prepare() {
- cd "${srcdir}/dash-to-panel"
- # WIP: Update to Gnome 40
- patch -Np1 -i ${srcdir}/1303.patch
- }
- build() {
- cd "${srcdir}/dash-to-panel"
- make
- }
- package() {
- cd "${srcdir}/dash-to-panel"
- make DESTDIR="$pkgdir" install
- }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement