diff options
author | Felix Esch | 2015-06-26 01:42:23 +0200 |
---|---|---|
committer | Felix Esch | 2015-06-26 01:42:23 +0200 |
commit | 6b83d9632bde5a0b6daf0a2475a983b7b6a3b91f (patch) | |
tree | aef8f7ec078953ce8df84e81ac49e60b7b399d11 | |
parent | edbe82d920b46d5bdb8b9af4a0431743ecba25c5 (diff) | |
download | aur-mediawiki-scribunto-git.tar.gz |
.git will now be removed after mv
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,7 +6,7 @@ _extname=Scribunto _basepkgname=scribunto pkgname=mediawiki-$_basepkgname-git -pkgver=r812.1a0221b +pkgver=r813.670c49b pkgrel=1 pkgdesc="An extension to support script enabled content (e.g. lua)." source=("git+https://gerrit.wikimedia.org/r/mediawiki/extensions/$_extname") @@ -30,6 +30,6 @@ package() { # Target extension directory of MediaWiki: _extdir="$pkgdir/usr/share/webapps/mediawiki/extensions" mkdir -p "$_extdir" - rm -r $_extname/.git mv $_extname "$_extdir/" + rm -r $_extdir/$_extname/.git }
\ No newline at end of file |