Advertisement
Guest User

Untitled

a guest
Dec 17th, 2016
168
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.36 KB | None | 0 0
  1. /([global].*[n])((.*[n])*)([s#]*http-proxy-ports?=s?.*)/gm
  2.  
  3. 12http-proxy-port=9000
  4.  
  5. sed -i -r 's/([global].*[n])((.*[n])*)([s#]*http-proxy-ports?=s?.*)/12http-proxy-port=9000/gm'
  6. ~/.subversion/servers
  7.  
  8. ### The currently defined server options are:
  9. ### http-proxy-host Proxy host for HTTP connection
  10. ### http-proxy-port Port number of proxy host service
  11. ### http-proxy-username Username for auth to proxy service
  12. ### http-proxy-password Password for auth to proxy service
  13. ### http-proxy-exceptions List of sites that do not use proxy
  14. ### http-timeout Timeout for HTTP requests in seconds
  15.  
  16. [groups]
  17. # group1 = *.collab.net
  18. # othergroup = repository.blarggitywhoomph.com
  19. # thirdgroup = *.example.com
  20.  
  21. ### Information for the first group:
  22. # [group1]
  23. # http-proxy-host = proxy1.some-domain-name.com
  24. # http-proxy-port = 80
  25. # http-proxy-username = blah
  26. # http-proxy-password = doubleblah
  27. # http-timeout = 60
  28.  
  29. ### Information for the second group:
  30. # [othergroup]
  31. # http-proxy-host = proxy2.some-domain-name.com
  32. # http-proxy-port = 9000
  33.  
  34. ### SSL certificate. See details above for overriding security
  35. ### due to SSL.
  36. [global]
  37. # http-proxy-exceptions = *.domain.org, *.domain.com
  38. # http-proxy-host = proxy.domain.com
  39. # http-proxy-port = 8080
  40. # http-proxy-username = defaultusername
  41. # http-proxy-password = defaultpassword
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement