Category Archives: Tools

Eclipse Help Browser And Proxy

It’s quite pathetic, that HTTP proxies settings are causing problems again and again in various applications – like UbuntuOne,  pip …  Maybe it is just problem for Ubuntu/Linux platforms where proxy settings are in separate places (dconf keys for desktop,  http_proxy, HTTP_PROXY, no_proxy environment variables).

This time it was Eclipse IDE. Problem here is like this –  Eclipse has proxy settings in Preferences/ General / Network connections – however these settings are not applied to Help Browser (started via Help/Help Contents) –  this browser is using system settings (I believe from dconf key system.proxy in my case),  but not in consistent way –  while browser is fine with subnet entry in system.proxy.ignore-hosts  like 127.0.0.1/8, Eclipse help browser is not,  it just requires server part of url – e.g. just 127.0.0.1).

Also Native option for proxy settings in Eclipse (which are used for updates, plugins install) seems not to work on Linux.

I spent some time to fix this,  another victim to inconsistent proxy handling.

Playing with maps (QGIS, PostGIS, OSM)

I do like maps.   Recently  I was looking at some digital maps and  got into more details and found several nice open source tools about which I’d like to write in this article.  As in any area open source provides interesting alternatives to work with digital maps and geographical data and what is also very interesting there are now free sources of  good quality geographical  data, which  can be used freely by everybody to create their own maps.   In this article I’m explaining how use data from Open Street Maps (OSM) project  for creating maps in QGIS and how to use PostGIS to store geographic informations and have  fun playing around with their different features of map data and tools. This tutorial is focused on linux (debian based – ubuntu 12.04 resp. mint in my case) desktop and assumes some basic knowledge of  your linux desktop administration. Continue reading Playing with maps (QGIS, PostGIS, OSM)

Nice Solution for Recording Screencasts on Linux

Recently I needed to record some screen-cast from Linux desktop.  In past I was using gtk-recordmydesktop, which basically worked well, but I thought  maybe there is something better.   And I have found this combination of two tools very useful –   Kazam (screencaster) and OpenShot (video editing) . Kazam is easy to use with all basic functions that are needed  (screen area definition, multi-display support, audio source selection) and it supports output into two common formats (MP4, WebM).  When screen-cast is finished Kazam gives you opportunity to open it directly with a video editor – here OpenShot can be used to cut your screen-cast video, add titles etc. and  finalize screen-cast video.  Continue reading Nice Solution for Recording Screencasts on Linux