Archive for June, 2007

Git

Thursday, June 21st, 2007

After enthusiastically playing around with Git for a few days, I wanted to share my expirence. It is an extremly powerful, yet (by now) easy to learn version control tool. More and more I start to share Linus Torvalds opinion that everyone who does not use Git is “ugly and stupid” ;-)
Here are some key advantages compared to the version control tools I have previously used (RCS, CVS, SVN):

  • Truely distributed (every developer has his own repository), therefore, its fast and disconnected operation is no problem at all
  • Native handling of branches. The working copy of your branch will be exactly where your original trunk was (no problems with absolute paths [beware!]). Moreover, while branching is not too difficult with other systems, with git even merging is not only easy but fun. It is so much fun that I deliberatly create several development branches just to be able to merge them later. So you can develop every feature in its own branch. When you get distracted and have to do some other work just make a preliminary commit and switch to another branch, continue working there and at any time switch back.
  • Merge history. When you merge several branches you will retain the full history of all branches that you merged.
  • Amendable Commits. Like mentioned previously, it is no problem if you botch a commit, because you forgot a file. Just amend your last commit.
  • Objects are tracked by content (actually their SHA1 hashes). If you synchronize your repository with someone else’s who happens to share a few commits, files or tags (because you have worked together before) these overlaps will be detected and can be incorporated into your version history. Your history is secured against corruption: The content can be verified to still produce the same hash it had when it was checked in. This makes it possible to give a sensible meaning to signing commits (e.g. for approval).

In short this is one of the nicest software development tools I have stumbled upon recently. You should definitely take a look.

Thunderbird Dictionaries (for Gentoo)

Thursday, June 21st, 2007

After struggling every time I want to install new dictionaries in thunderbird, I think its time to write it down. Once and for all. It is as simple as that: Take a dictionary in the appropriate format (*.{dic,aff}, for exmple from the thunderbird homepage or openoffice myspell packages) and drop it into /usr/lib/mozilla-thunderbird/dictionaries. Done. The xpi packages do not work for me, neither installing into either /opt/thunderbird/components/myspell/, nor /usr/lib/mozilla-thunderbird/components/myspell.

Is Google Evil?

Monday, June 11th, 2007

Although I cannot answer that question, I have a suggestion for alleviating your concerns: Use a meta search engine, if you can spend the additional waiting time (for me usually 2-3 times the search time of a single search engine). In search for the former I have stumpled accross Jux2 that combines searches from Google, Yahoo and MSN. Unfortunately it does not (yet?) include Ask which I think is also quite a nice search engine. Moreover, it has a slick interface (although I hate their selection of colors).

Opera and Closing Tabs

Sunday, June 10th, 2007

Choice of of browsers is a delicate topic. While Firefox offers extremely good extensibiliy, it is somewhat slower than Opera. Therefore, I often switch back and forth between the two. One major annoyance of Opera has always been the behaviour of Ctrl-W that closes a tab and brings you back to the most recently used one. In Firefox you have a the choice of what will happen, and as I found out today, Opera does as well, although somewhat harder to “find”. You have to go into the shortcuts preference settings where you can change the behavior of ‘w ctrl’, as it is called there, to ‘Close Page & Switch to next page’.

Filling the Gap

Thursday, June 7th, 2007

Partly because it has again been a long time without a post and partly because there really might be something interesting for all of you (anyone?), you can follow a digest of newsfeeds I read with the information I deem interesting at my google reader shared items. By the way Google Reader might be worth a look as your feed reader too, as it allow you to browse your feeds from everywhere.