yochananmarqos

pop-shell-shortcuts-git

Sep 27th, 2020 (edited)
271
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Bash 0.68 KB | None | 0 0
  1. pkgname=pop-shell-shortcuts-git
  2. pkgver=r37.9280535
  3. pkgrel=1
  4. pkgdesc="Application for displaying and demoing Pop Shell shortcuts"
  5. arch=('x86_64')
  6. url="https://github.com/pop-os/shell-shortcuts"
  7. license=('GPL')
  8. depends=('gnome-shell')
  9. makedepends=('git' 'rust')
  10. provides=("${pkgname%-git}")
  11. conflicts=("${pkgname%-git}")
  12. source=('git+https://github.com/pop-os/shell-shortcuts.git')
  13. sha256sums=('SKIP')
  14.  
  15. pkgver() {
  16.     cd "$srcdir/shell-shortcuts"
  17.     printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
  18. }
  19.  
  20. build() {
  21.     cd "$srcdir/shell-shortcuts"
  22.     make prefix=/usr
  23. }
  24.  
  25. package() {
  26.     cd "$srcdir/shell-shortcuts"
  27.     make prefix=/usr DESTDIR="$pkgdir" install
  28. }
Add Comment
Please, Sign In to add comment