Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- /([global].*[n])((.*[n])*)([s#]*http-proxy-ports?=s?.*)/gm
- 12http-proxy-port=9000
- sed -i -r 's/([global].*[n])((.*[n])*)([s#]*http-proxy-ports?=s?.*)/12http-proxy-port=9000/gm'
- ~/.subversion/servers
- ### The currently defined server options are:
- ### http-proxy-host Proxy host for HTTP connection
- ### http-proxy-port Port number of proxy host service
- ### http-proxy-username Username for auth to proxy service
- ### http-proxy-password Password for auth to proxy service
- ### http-proxy-exceptions List of sites that do not use proxy
- ### http-timeout Timeout for HTTP requests in seconds
- [groups]
- # group1 = *.collab.net
- # othergroup = repository.blarggitywhoomph.com
- # thirdgroup = *.example.com
- ### Information for the first group:
- # [group1]
- # http-proxy-host = proxy1.some-domain-name.com
- # http-proxy-port = 80
- # http-proxy-username = blah
- # http-proxy-password = doubleblah
- # http-timeout = 60
- ### Information for the second group:
- # [othergroup]
- # http-proxy-host = proxy2.some-domain-name.com
- # http-proxy-port = 9000
- ### SSL certificate. See details above for overriding security
- ### due to SSL.
- [global]
- # http-proxy-exceptions = *.domain.org, *.domain.com
- # http-proxy-host = proxy.domain.com
- # http-proxy-port = 8080
- # http-proxy-username = defaultusername
- # http-proxy-password = defaultpassword
- ...
- [global]
- http-proxy-exceptions = *.otherdomain.org, *.otherdomain.com, 127.0.0.1, localhost
- http-proxy-host = proxy.otherdomain.com
- http-proxy-port = 9000
- # http-proxy-username = defaultusername
- # http-proxy-password = defaultpassword
- sed -e '/^[global]/ a' -e http-proxy-port=9000 ~/.subversion/servers
- sed '/[global]/h
- /^$/h
- /http-proxy-exceptions/{x;/^$/{x;b;};x;c
- http-proxy-exceptions = *.otherdomain.org, *.otherdomain.com, 127.0.0.1, localhost
- }
- /http-proxy-host/{x;/^$/{x;b;};x;c
- http-proxy-host = proxy.otherdomain.com
- }
- /http-proxy-port/{x;/^$/{x;b;};x;c
- http-proxy-port = 9000
- }' infile
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement