Getting TPTP installed in Ubuntu - first post from Ivar
One of the Codehoopers started to blog about Eclipse and programming, welcome aboard! :)
As he doesn’t have much readers yet I guess it’s ok to point to his first post: Eclipse TPTP and Ubuntu”
It’s about getting TPTP running. Especially under Linux. Don’t underestimate the complexity of this - it’s not that easy :)
Nice post, thank you!
PS. Some old-time readers might remember that Ivar has been featured at this blog also before - Four is the Magical Number - and so is 5920.
Enabling 3D with ATI and NVIDIA - ubuntu and debian
hmm.. getting 3D enabled for ATI and NVIDIA is still very tricky. With ubuntu you can recompile a kernel package AND/OR recompile restricted modules AND/OR compile a custom kernel with ATI/NVIDIA modules. There are 4-5 different options for getting it done. Each has it’s drawbacks. And even after spending lot of time figuring it out - next time you update the kernel, you’re screwed again :)
You can scratch your head for hours wondering why everything should work but glxinfo shows Mesa as active driver. You need direct rendering! Even if you’re not playing any games. 2D rendering saves a lot of CPU and linux runs much faster.
For ATI, when you download the linux proprietary driver installer - I’ve never seen it working without any special tweaks. Plus their installation guide is quite out-dated and not in sync with the real installer.
SO - Here’s the lifesaver - Envy! It’s a small utility that takes care of these tweaks and with a very simple user-interface fetches all the important packages, installs all the properietary stuff and makes sure that conflicting drivers are disabled/uninstalled/removed.
I gave it a try and - this thingy started from scratch and - I was done in 5minutes - everything working great!
Envy main screen
