Website about technologies Java, Spring, OSGi, Hardware,...
I released a new version of CMakeLatex, the version 1.0.2. First of all, this version restore the support for nomenclature. Then, it also adds filters for makeindex (including makeglossaries and makenomenclature). The filters will hides all the information of the output stream but the errors. The filters for pdflatex are also improved. CMakeLatex is a [...]
On Linux, it is possible to create links to existing file. These links can be either symbolic links or hard links. Each of them having advantages and drawbacks. In this small post, we will see the differences between the two kinds of links and how to use them. Hard Link An hard link refers directly [...]
Valgrind is very powerful suite of software for dynamic analysis of binary programs. Valgrind is available in an ebuild on the Gentoo portage tree, but if you want to install valgrind on your Gentoo distribution, there is a problem with the build with the standard library. On Gentoo, the standard C library (glibc) is stripped [...]
After having switched to Mint from Ubuntu, I’m on the verge of switching to Gentoo Linux. Gentoo is a powerful operating system base on Linux. This operating system provides extreme configurability and performance. Gentoo is very lightweight on its own, by default, there is not even a window manager installed. A big advantage of this [...]
Yesterday I recompiled my Linux Kernel stripping it again and I found out that X.org was not working very anymore. Some windows were frozen and there was some troubles with the mouse. Another problem was that Google Chrome wouldn’t display anything but blank pages. The solution was easy: Do not disable the System V IPC [...]
In the last Linux Mint version (12), the developers have introduced a set of extensions to the Gnome Shell, Mint Gnome Shell Extensions (MGSE). But, plugins can’t do everything the developers want. So they forked Gnome Shell and started building their own shell : Cinnamon. At the time of writing, the appearance of this new [...]
Linux Mint 12 has just been released! This new version includes a Gnome 3 using a specific extension MGSE (Mint Gnome Sheel Extensions) and a Gnome 2 UI (MATE). You will find also a lot of other improvements. From several months, Linux Mint is the most used Linux distribution. For more informations, you can read [...]
One week ago, I started using git-flow on eddic. This is a collection of Git extensions to easily follow a branching-model convention for a Git project. I will try to describe this project later on this blog. You can install git-flow using this simple command: I recommend you to install a script to autocomplete the [...]
Sometimes you need to install a specific version of gcc for some reasons, for example when you need to have the same compiler version as the one used by your team. In that, the package manager doesn’t help because not every version of gcc is packaged in every version of Ubuntu. So you must install [...]
This morning, I wanted to automatically update a little website from my computer without using Filezilla. So I searched a little bit and found that there is a very useful tool called nftp. To install it, you only have to use apt-get : This tool can be used directly from bash to upload files to [...]
Most commented posts