diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2016-01-14 11:20:57 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2016-01-14 11:20:57 -0200 |
| commit | eb397b2258655044b2612f00fba7ce2a7c9e8214 (patch) | |
| tree | 98b5dc6c6e7be4ce980c5c17d6dcafeafe5d5cba /mediawiki-dl | |
| parent | f5553ec0a0a55ad5c147bcf1213942d4b561ecea (diff) | |
| download | downloaders-eb397b2258655044b2612f00fba7ce2a7c9e8214.tar.gz downloaders-eb397b2258655044b2612f00fba7ce2a7c9e8214.tar.bz2 | |
Some messages arent error messages
Diffstat (limited to 'mediawiki-dl')
| -rwxr-xr-x | mediawiki-dl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mediawiki-dl b/mediawiki-dl index 9b75d18..c904a70 100755 --- a/mediawiki-dl +++ b/mediawiki-dl @@ -23,7 +23,7 @@ function mediawiki_deploy { echo "usage: $BASENAME deploy <version>" exit 1 elif [ -d "mediawiki-$VERSION" ]; then - echo "error: mediawiki-$VERSION already installed." + echo "mediawiki-$VERSION already installed." exit fi @@ -46,7 +46,7 @@ function mediawiki_upgrade { echo "usage: $BASENAME upgrade <old-version> <new-version>" exit 1 elif [ -d "mediawiki-$VERSION" ]; then - echo "error: mediawiki-$VERSION already installed." + echo "mediawiki-$VERSION already installed." exit elif [ ! -d "mediawiki-$OLD_VERSION" ]; then echo "error: mediawiki-$OLD_VERSION is not installed, aborting." |