]> source.dussan.org Git - gitblit.git/commit
projects / gitblit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 470a156) | patch
Added a script to facilitate setting the proxy host and port and no proxy hosts,... 15/head
authorMohamed Ragab <moragab@gmail.com>
Wed, 2 May 2012 15:15:01 +0000 (17:15 +0200)
committerMohamed Ragab <moragab@gmail.com>
Wed, 2 May 2012 15:15:01 +0000 (17:15 +0200)
commit0e44acbb2fec928a1606dc60f427a148fff405c9
treebeef8211753a15ca8c2eb2609f2e4bfa7b21f1c2tree | snapshot
parent470a156243c9b558bc61085b5196994cf71a5090commit | diff
Added a script to facilitate setting the proxy host and port and no proxy hosts, and then it concatenates all the java system properties for setting the java proxy configurations and puts the resulting string in an environment variable JAVA_PROXY_CONFIG, modified the scirpts gitblit,  gitblit-ubuntu, and gitblit-centos to source the java-proxy-config.sh script and then include the resulting java proxy configuration in the java command
distrib/gitblit diff | blob | history
distrib/gitblit-centos diff | blob | history
distrib/gitblit-ubuntu diff | blob | history
distrib/java-proxy-config.sh [new file with mode: 0644] blob
Pure java git solution: https://github.com/gitblit-org/gitblit