diff options
author | Felix Esch | 2015-06-26 01:42:48 +0200 |
---|---|---|
committer | Felix Esch | 2015-06-26 01:42:48 +0200 |
commit | 6f5baee7d090d6f497ac20685569800d83d818b6 (patch) | |
tree | fa662dd552d408f19cb4b3d0295c0cd08867a86a | |
parent | 4f8cc0cba6fe49ea71a0bf6e2fc73b22be18a507 (diff) | |
download | aur-6f5baee7d090d6f497ac20685569800d83d818b6.tar.gz |
.git will now be removed after mv
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29,6 +29,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 |