Wednesday, September 15, 2010

Git on Windows behind proxy

I am working begind proxy at work and at home. So setting up some tools could be somewhat tricky especially at work due to very strict filtering policy.

To use git@github I've tried to use git on windows and finally ended up using Ubuntu inside VirtualBox with shared folder to commit and push to github. This is crazy setup =)

Today, finally had some time to getting things running at home using https protocol to github. Project I am working on initially developed with NetBeans and use GuiBuilder, so I've installed nbgit for NB 6.9 ( It has very limited set of git commands. I tried TortoiseGit in addition, but it failed to push for unreported reason. If you have same issue you could try following solution(works for me=))
  1. Install git for windows from Git- in my case
  2. Launch Git Bash and go to your git repo folder.
  3. Set https proxy.

    export https_proxy=https://host:port
    git config --global http.proxy http://host:port
  4. Update global git config to fix ssl verification error.

    error: error setting certificate verify locations:
    CAfile: /bin/curl-ca-bundle.crt
    CApath: none
    Fix for this:

    git config --global http.sslverify false 
    git config --system http.sslcainfo \bin\curl-ca-bundle.crt
  5. Now you can push you changes to origin

    git push origin master

Sunday, January 10, 2010

Studio for kdb+ v 3.23 released

We've made some enhancements to Studio for kdb+ and v3.23 2010.01.09
is now available for download from

Changes include:
  • Support of Timestamp and Timespan types
  • Support of compressed data(kdb v2.6). Saw 4-10 times less data transferred
  • Migrated to Java 6
  • Jfreechart library was upgraded, all other libs dropped
  • Frame title tweaks. Now displayed as 'filename@server_name'
  • Last execution time(full cycle) for last query
  • Decimal format now can be specified in config: DecimalFormat=#.######
  • Look and feel can be specified in config: lookandfeel='lookandfeel class name'. This fix exceptions when using remote desktop on Windows with different theme settings
  • Builtin help has been remove. Please use as documentation source.
  • Excel export change to handle escaping text containing substring <IND>
  • Other small fixes...

Please contact me if you have any questions, bug reports.

For the moment the distribution is packaged as a zip file only - maybe
we will package as .exe too later. To use, download from the above
link, unzip retaining folder structure, and invoke via

java -jar studio.jar

The config file is automatically generated in