mirror of
https://github.com/gitbucket/gitbucket.git
synced 2025-11-07 14:05:52 +01:00
12 lines
398 B
Bash
Executable File
12 lines
398 B
Bash
Executable File
#!/bin/bash
|
|
version=$1
|
|
output_dir=`dirname $0`
|
|
git rm -f ${output_dir}/jetty-*.jar
|
|
for name in 'io' 'servlet' 'xml' 'continuation' 'security' 'util' 'http' 'server' 'webapp'
|
|
do
|
|
jar_filename="jetty-${name}-${version}.jar"
|
|
wget "http://repo1.maven.org/maven2/org/eclipse/jetty/jetty-${name}/${version}/${jar_filename}" -O ${output_dir}/${jar_filename}
|
|
done
|
|
git add ${output_dir}/*.jar
|
|
git commit
|