Advertisement
yochananmarqos

gnome-shell-extension-dash-to-panel

May 5th, 2021
1,024
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.94 KB | None | 0 0
  1. pkgname=gnome-shell-extension-dash-to-panel
  2. pkgver=42
  3. pkgrel=1
  4. pkgdesc='Extension for GNOME shell to combine the dash and main panel'
  5. arch=('any')
  6. url="https://github.com/home-sweet-gnome/dash-to-panel"
  7. license=('GPL2')
  8. depends=('gnome-shell')
  9. makedepends=('git')
  10. _commit=1e46333210a8ed7a61d4c28e86f98f4abe579fcc
  11. source=("git+https://github.com/home-sweet-gnome/dash-to-panel.git#commit=$_commit"
  12.         'https://github.com/home-sweet-gnome/dash-to-panel/pull/1303.patch')
  13. sha256sums=('SKIP'
  14.             '35a37df8e10b1ecb8b398c271ff5485ac190a72ae77a67782ba21dbdd365761b')
  15.  
  16. pkgver() {
  17.   cd "${srcdir}/dash-to-panel"
  18.   git describe --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
  19. }
  20.  
  21. prepare() {
  22.   cd "${srcdir}/dash-to-panel"
  23.  
  24.   # WIP: Update to Gnome 40
  25.   patch -Np1 -i ${srcdir}/1303.patch
  26. }
  27.  
  28. build() {
  29.   cd "${srcdir}/dash-to-panel"
  30.   make
  31. }
  32.  
  33. package() {
  34.   cd "${srcdir}/dash-to-panel"
  35.   make DESTDIR="$pkgdir" install
  36. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement