Monthly Archive for December, 2007

TPTP Agent Controller on Arch Linux

Dec 14, 2007

Installing Eclipse TPTP using the Update Manager creates several problems under Linux.

First, the permissions are missing for the native Integrated Agent Controller code. Symbolic links were also not created for the Integrated Agent Controller libraries, resulting in a “File too short” error message when running the executable.
Second, since the Integrated Agent Controller is [...]

Firefox 3.0, ScribeFire, RadeonHD and other Miscellaneous Goodies

Dec 04, 2007

I’m making this post from ScribeFire, a Firefox extension for writing blog entries. Give it a try!
Firefox 3.0 is in beta now. Tons of change, but the most important ones to me are: Full page zoom, better GTK integration, and the promised Firefox 2.0 bookmarks revamp. I suggest trying out the nightly builds to see [...]