diff options
author | Alex | 2018-03-14 13:44:24 +0100 |
---|---|---|
committer | Alex | 2018-03-14 13:44:24 +0100 |
commit | d23ad4143f5801dfa26c492efa7c9be78567e41c (patch) | |
tree | aae46935bd98dbf223cd34234af48bc9dd745e72 | |
parent | e62ead1c7519d615eeae99f4a7eb574563396434 (diff) | |
download | aur-d23ad4143f5801dfa26c492efa7c9be78567e41c.tar.gz |
Fix connection to github.com issue
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,7 +1,7 @@ pkgbase = gnome-shell-extension-no-title-bar-git pkgdesc = No Title Bar removes the title bar, moves the window title and buttons to the top panel. pkgver = v8.r6.g8fe9355 - pkgrel = 0 + pkgrel = 1 url = https://github.com/franglais125/no-title-bar install = gnome-shell-extension-no-title-bar.install arch = any @@ -13,7 +13,7 @@ pkgbase = gnome-shell-extension-no-title-bar-git conflicts = gnome-shell-extension-no-title-bar conflicts = gnome-shell-extension-pixel-saver conflicts = gnome-shell-extension-pixel-saver-git - source = git://github.com/franglais125/no-title-bar.git + source = git+https://github.com/franglais125/no-title-bar.git sha256sums = SKIP pkgname = gnome-shell-extension-no-title-bar-git @@ -3,7 +3,7 @@ pkgname=gnome-shell-extension-no-title-bar-git _gitname=no-title-bar pkgver=v8.r6.g8fe9355 -pkgrel=0 +pkgrel=1 pkgdesc="No Title Bar removes the title bar, moves the window title and buttons to the top panel." arch=('any') url="https://github.com/franglais125/no-title-bar" @@ -13,7 +13,7 @@ makedepends=('git') provides=('gnome-shell-extension-no-title-bar-git') conflicts=('gnome-shell-extension-no-title-bar' 'gnome-shell-extension-pixel-saver' 'gnome-shell-extension-pixel-saver-git') install=${pkgname%-*}.install -source=('git://github.com/franglais125/no-title-bar.git') +source=('git+https://github.com/franglais125/no-title-bar.git') sha256sums=('SKIP') pkgver() { |