Archive for November, 2017

[manjaro] i686 is dead but still alive

November 26, 2017 Leave a comment

I have an old 32-bit laptop that I use for one thing only: it’s connected to my TV with a VGA cable and that’s how I watch movies. I have Manjaro on this laptop and it worked well until about two weeks ago. Since then I couldn’t update it, the repos returned a 404 error.

Today I dived in the problem and it turned out that Manjaro dropped the 32-bit support in November 2017.

However, some people still want to keep the i686 support alive. Here is the announcement of this unofficial 32-bit support.

The project also has a webpage: .

Categories: manjaro Tags: ,

Install the Numix theme and icons for Ubuntu 16.04

November 24, 2017 Leave a comment

The look and feel of Ubuntu is quite boring. It looks the same with every release. If you want a fresh look, check out the Numix theme, it looks great.

Installation instructions are here.

Here is a screenshot of my desktop. I use the Numix Circle icons.

Update (20171126): I also updated my Manjaro box. You can customize the look and feel with the Xfce Theme Manager. Here is my current setting: Themes: Vertex; Windows Borders: Numix-Manjaro; Controls: Vertex; Icons: Numix Circle; Cursors: aero-drop. With “yaourt numix” and “yaourt numix circle” you can find easily what packages to install. I wanted to go full Numix, but then my Firefox looked ugly: the title of the tabs and the texts in the popups were unreadable, so I had to mix the themes Numix and Vertex to get a good result.

Categories: ubuntu Tags: , , ,

TLDR: simplified and community-driven man pages

November 24, 2017 Leave a comment

The TLDR pages are a community effort to simplify the beloved man pages with practical examples.


(I also have a similar project called PrimCom but it has never become popular.)

Categories: bash, python Tags: ,

Write your first Firefox extension

November 20, 2017 Leave a comment
Categories: firefox, web Tags: , ,