linux - Using git behind a proxy in python scripts -


i work proxy doesn't git. in of cases, can use export http_proxy , git config --global url."http://".insteadof git://.

but when use yocto's python script, workaround doesn't work anymore. i'm systematically stopped @ getting branches remote repo git://git.yoctoproject.org/linux-yocto-3.14.git.... suspect these lines responsible :

gitcmd = "git ls-remote %s *heads* 2>&1" % (giturl) tmp = subprocess.popen(gitcmd, shell=true, stdout=subprocess.pipe).stdout.read()

i think after these lines, others try connect git url. script use (yocto-bsp) calls others scripts, call scripts, it's difficult say. have tried add os.system(git config --global url."http://".insteadof git://) before, peanuts.

of course, try , modify url manually (or parsing script) replace git:// http:// manually, solution is... hideous. i'd modification(s) small possible , reproductible easily. of all, i'd working script.

edit : according this page, git url git://git.yoctoproject.org/linux-yocto-3.14 correspondant http url http://git.yoctoproject.org/git/linux-yocto-3.14, can't parse replace git:// http://. not cool.

well, rewriting git url indeed work, when using yp.

however, you're rewriting scheme doesn't work well... you're replacing git:// part or url http://, if @ e.g. linux-yocto-3.14, you'll see repo available through following 2 url's:

git://git.yoctoproject.org/linux-yocto-3.14 http://git.yoctoproject.org/git/linux-yocto-3.14

that need rewrite git://git.yoctoproject.org http://git.yoctoproject.org/git. thus, you'll need instead:

git config --global url."http://git.yoctoproject.org/git".insteadof git://git.yoctoproject.org

which means you'll have repeat exercise repositories accessed through git protocol.


Comments

Post a Comment

Popular posts from this blog

javascript - AngularJS custom datepicker directive -

i make custom datepicker directive custom template. but have no idea how start building it... how include date data directive? i appreciate guide or give me advice work on more precisely. it might you! follow below steps html code sample: <label>birth date</label> <input type="text" ng-model="birthdate" date-options="dateoptions" custom-datepicker/> <hr/> <pre>birthdate = {{birthdate}}</pre> <script type="text/ng-template" id="custom-datepicker.html"> <div class="enhanced-datepicker"> <div class="proxied-field-wrap"> <input type="text" ui-date-format="yy-mm-dd" ng-model="ngmodel" ui-date="dateoptions"/> </div> <label> <button class="btn" type="button"><i class="icon-calendar"></i>
Read more

javascript - jQuery date picker - Disable dates after the selection from the first date picker -

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>jquery ui datepicker - default functionality</title> <link rel="stylesheet" href="//code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.css"> <script src="//code.jquery.com/jquery-1.10.2.js"></script> <script src="//code.jquery.com/ui/1.11.4/jquery-ui.js"></script> <link rel="stylesheet" href="/resources/demos/style.css"> <script> $(function () { $("#datepicker1").datepicker(); }); </script> <script> $(function () { $("#datepicker2").datepicker(); }); </script> </head> <body> <p>date 1: <input type="text" id="datepicker1"></p> <p>date 2: <input type="t
Read more