diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2015-04-01 15:50:58 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2015-04-01 15:50:58 -0300 |
| commit | 227d84acc0a06253f3f0d31a25074178a3b2e507 (patch) | |
| tree | f65d537b10103e8638f500517ff9f485f6deaec7 /mediawiki-dl | |
| parent | d26792dfcc4240669095652fd5aedc14cce9f4f6 (diff) | |
| download | downloaders-227d84acc0a06253f3f0d31a25074178a3b2e507.tar.gz downloaders-227d84acc0a06253f3f0d31a25074178a3b2e507.tar.bz2 | |
Fix extension symlinking
Diffstat (limited to 'mediawiki-dl')
| -rwxr-xr-x | mediawiki-dl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mediawiki-dl b/mediawiki-dl index 8535e30..4cc2cb4 100755 --- a/mediawiki-dl +++ b/mediawiki-dl @@ -53,7 +53,7 @@ function mediawiki_upgrade { $sudo cp -a mediawiki-$OLD_VERSION/contrib mediawiki-$VERSION/ # Symlink extensions - for extension in mediawiki-$OLD_VERSION/extensions/*; do + for extension in `ls mediawiki-$OLD_VERSION/extensions`; do if [ -h "mediawiki-$OLD_VERSION/extensions/$extension" ]; then $sudo cp mediawiki-$OLD_VERSION/extensions/$extension mediawiki-$VERSION/extensions/$extension fi |