Page Menu
Home
WickedGov Phorge
Search
Configure Global Search
Log In
Files
F1426697
update-jquery-uls.sh
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Flag For Later
Award Token
Size
424 B
Referenced Files
None
Subscribers
None
update-jquery-uls.sh
View Options
#!/bin/bash
BASEDIR
=
$(
dirname
"
$0
"
)
BASEDIR
=
"
$BASEDIR
/.."
DEST
=
"
$BASEDIR
/lib/jquery.uls"
CLONEDIR
=
"
$BASEDIR
/vendor/jquery.uls"
UPSTREAM
=
"https://github.com/wikimedia/jquery.uls.git"
echo
"Getting latest jquery.uls from
$UPSTREAM
"
if
[
-d
"
$CLONEDIR
"
]
;
then
pushd
"
$CLONEDIR
"
git
pull
popd
else
git
clone
"
$UPSTREAM
"
"
$CLONEDIR
"
fi
rm
-rf
"
$DEST
"
/*
cp
-R
"
$CLONEDIR
"
/
{
images,css,src,i18n,*LICENSE,CREDITS
}
"
$DEST
"
File Metadata
Details
Attached
Mime Type
text/x-shellscript
Expires
Sat, May 16, 13:35 (1 d, 21 h)
Storage Engine
local-disk
Storage Format
Raw Data
Storage Handle
5b/59/a4be8cfed6a5e1c826378a329ff0
Default Alt Text
update-jquery-uls.sh (424 B)
Attached To
Mode
rMWPROD MediaWiki Production
Attached
Detach File
Event Timeline
Log In to Comment