UUGRN:Dienste/Wiki/extensions/update.sh: Unterschied zwischen den Versionen
Aus UUGRN
< UUGRN:Dienste | Wiki | extensions
Rabe (Diskussion | Beiträge) (script zum installieren und updaten von extensions) |
Rabe (Diskussion | Beiträge) K (Rabe verschob Seite UUGRN:Wiki/extensions/update.sh nach UUGRN:Dienste/Wiki/extensions/update.sh: Alle Dienste als Subpage von UUGRN:Dienste) |
(kein Unterschied)
|
Aktuelle Version vom 11. April 2013, 10:41 Uhr
#! /bin/sh cd -P "$(dirname "$0")" VERSION=branches/REL1_18 BASE_URL="http://www.mediawiki.org/wiki/Special:ExtensionDistributor?extdist_version=${VERSION}&extdist_submit=Continue&extdist_extension=" UA='--user-agent="Mozilla/5.0 (Ubuntu; X11; Linux x86_64; rv:9.0.1) Gecko/20100101 Firefox/9.0.1"' EXTENSIONS="" EXTENSIONS="${EXTENSIONS} CategoryTree" EXTENSIONS="${EXTENSIONS} CheckUser" EXTENSIONS="${EXTENSIONS} Cite" EXTENSIONS="${EXTENSIONS} ConfirmEdit" EXTENSIONS="${EXTENSIONS} Gadgets" EXTENSIONS="${EXTENSIONS} ImageMap" EXTENSIONS="${EXTENSIONS} Nuke" EXTENSIONS="${EXTENSIONS} ParserFunctions" EXTENSIONS="${EXTENSIONS} RSS" EXTENSIONS="${EXTENSIONS} Renameuser" EXTENSIONS="${EXTENSIONS} SubPageList3" EXTENSIONS="${EXTENSIONS} UploadCSV" EXTENSIONS="${EXTENSIONS} Vector" EXTENSIONS="${EXTENSIONS} WikiEditor" for EXT in ${EXTENSIONS} ; do echo "$0: Updating ${EXT}" URL="${BASE_URL}${EXT}" TGZ="$(wget ${UA} -O - -q "${URL}" | grep -o 'http://upload.wikimedia.org/ext-dist/[^/"<]*' | sort -u| head -n 1)" echo "$0: ${EXT}: Fetch and unpack ${TGZ}" wget ${UA} -O - -q "${TGZ}" | tar xvfz - done