[Linux] Use GRUB from a previously installed Linux in a dual boot setting

When you install a new Linux alongside another one, your computer will likely use the last installed OS’s GRUB instead of the one from the previous install. In my case, I have installed Debian, and a few days later, a Linux Mint on the same disk. But the thing is I prefer the Debian’s GRUB …

[Debian] Japanese IME in GNOME 3 desktop

Surprised The japanese IME on Debian, when installed properly, works pretty much similarly to the Windows 7 one… I was quite surprised by the quality of this software piece. Step by step Install those packages from official repositories: ibus and ibus-mozc (along with their dependencies, of course). Launch the Region & Language settings app. In …

[Debian] Basics of animated GIF optimization with ImageMagick

I was doing an ingame video capture and I needed to have it in a GIF format. A few frames of the animation could be optimized as there were sometimes still images. So if I wanted to remove those unnecessary frames (while keeping the correct duration, of course), one can simply use ImageMagick. How to …

[Debian] Create a QRCode for a vCard file

Didactic I am writing a little tutorial here for creating a QRCode for a vCard file. As I don’t use it that much, it feels like I need a memo for it. Preparation We will use a vCard file named test.vcf which contains the following: BEGIN:VCARD VERSION:2.1 N:Family Name;First Name;;; FN:First Name Family Name TITLE:Your …

[Debian] Generate TeX formulas as SVG or PNG images Wikipédia-like

Preparation We will use this file named texfile.tex as the .tex to convert: \documentclass[12pt]{article} \pagenumbering{gobble}% Remove page numbers (and reset to 1) \begin{document} My first \TeX~document. $s_n = (Ta)_n = \displaystyle\sum_{k=0}^\infty T_{nk} a_k$ \end{document} Result file Generating PNG images Packages you need: texlive (or any other TeX program, I guess) dvipng Step by step In …

[Debian] Fix the backlight function keys on Intel GPU laptop

*UPDATE* March 10th, 2019 I have to update my post because the previous fix does not work anymore with recent versions of debian + GNOME 3, on the same laptop as before (sandybridge core i3). Now, you have to follow this suggestion given by people all around the world: edit the /etc/default/grub file in super …