Linux on Solarized Sublime Sekai

Optimisation d'une VM GCP et domptage de Neovim

Thu, 12 Mar 2026 00:00:00 +0000

Aujourd’hui, j’ai passé ma configuration de développement sur une VM Google Cloud Platform (GCP). Entre les contraintes de ressources de la machine et le peaufinage de mon environnement Neovim pour mon projet Rust, voici ce que j’ai appris.

1. Transfert de fichiers avec rsync

Pour uploader mes dossiers de projet vers la VM, j’ai utilisé rsync. C’est bien plus efficace que scp car il ne transfère que les modifications.

rsync -avzLP --exclude='.git' \ 
  ~/.local/share/typst/packages/preview/auto-mando/ \
  user@$(gcloud compute instances describe typst-bot-vm \
    --format='get(networkInterfaces[0].accessConfigs[0].natIP)' \
    --zone='us-east1-d'):~/

Le « combo doré » :

Imprimante HP Deskjet 4100 sous Linux

Fri, 23 Jan 2026 18:31:59 +0100

Introduction

J’ai récupéré une imprimante HP DeskJet Plus 4122. Je m’en rarement servais car je pensais à tort que HP ne marchait que sous Windows. J’aime tellement Linux que je me connectais pas souvent à Windows, où l’appli HP Smart est bloquée de temps en temps.

Cet après-midi, après une petite recherche, je me suis rendu compte qu’il y avait une pilote HP Linux Imaging and Printing (HPLIP) pour Linux. J’ai décidé de l’essayer sur mon système Lubuntu 24.04.

Exploration of My First IntelliJ Project

Wed, 05 Apr 2023 09:46:00 +0200

We’ll try to stay in the project root if possible.

Find all non-hidden files to know the file structure.

$ find -path './.*' -prune -o -type f -print
./Algo-init.iml
./out/production/Algo-init/fr/eql/ai114/algo/init/demo/_1_HelloWorld.class
./src/fr/eql/ai114/algo/init/demo/_1_HelloWorld.java

-prune returns true for the chosen path and prevents find from descending.
-o means OR, so the paths matching -prune won’t pass through -o.
-type f selects files, not folders.
By default, AND is used to connect different conditions.

Reuse Commands with Shell Arguments

Sat, 25 Mar 2023 11:23:58 +0100

Background

We often want to test the output with different values for a parameter. Here’s an example: we have a parameter that pandoc uses to / compile source code files to PDF / M$ Word / etc.

rm output.html; param=0; pandoc input$param.txt -o output.html; \
echo param = $param

In practice, a parameter can be a font, the font size, etc, and there can be multiple parameters.

CPU Temperature Display in Conky

Wed, 31 Jul 2019 15:04:59 +0200

Background

I’m using Conky for monitoring the system. After a system upgrade, the CPU temperatures were gone. Conky’s standard error showed the following.

Conky: can't open '/sys/class/hwmon/hwmon0/temp3_input': No such file or
directory please check your device or remove this var from Conky...

Source of message: https://bbs.archlinux.org/viewtopic.php?id=82231

An easy fix would be to adjust the following lines in .conkyrc according to the number N in /sys/class/hwmon/hwmonN containing the file temp3_input. (You may adjust the number 3 according to the number of CPU of your device.) The number of CPU can be found using grep -c ^processor /proc/cpuinfo.

Right PATH to Linux

Sat, 18 May 2019 11:25:57 +0200

Background

Updated $\LaTeX$ version

From this $\TeX$-SE question about tlmgr, we see some advantages of installing $\TeX$Live directly from the official site:

avoid errors due to outdated version of $\TeX$Live supplied by the OS’s package manager
easier to manage packages with tlmgr.
enjoy the newer version of $\TeX$Live not yet available in your current GNU/Linux version.

The installation took about 30 minutes and 5G in the disk. I’ve chosen a local installation as this didn’t require sudo privileges. The whole process went smooth and the system displayed a message about setting

Xubuntu Screen Enlargement

Sun, 21 Apr 2019 02:49:09 +0200

Tonight, the screen of Xubuntu suddenly enlarged and blurred. Typing “xubuntu screen display enlarged” on Google, I’ve learnt that the <Alt> key and the mouse scroll wheel can enlarge/minify screen display from Ubuntu Forums.

Detect Missing EOF

Sun, 23 Dec 2018 12:10:06 +0100

While editing files on GitHub/Gitlab, missing an empty line at the bottom of a file in the buffer will result in no newline at the end of file. In the case of regular text files, this isn’t consistent with the POSIX standards.

for file in `git ls-files`; do
  grep -Iq . $file && if ! newline_at_eof $file; then; else echo $file; fi
done

Fred has provided a shell script for detecting EOF on Stack Overflow. I’ve replaced bash with sh because I’m using Zsh.

Find Files for Rename

Sun, 23 Dec 2018 11:57:58 +0100

Background

Three years ago, I wrote Used More Bash Utilities for batch renaming files. One of my Facebook friends has pointed out that it fails for file names containing whitespace.

Problem

Recently, I would like to remove the extension name .sh of all shell scripts in ~/bin, so that which {script} will work without .sh.

Method

A for loop over $(ls) is a basic solution, but find is more correct since it’s possible that a file name contains a space character.

Enlarged /var Partition

Sat, 06 Oct 2018 08:02:36 +0200

Background

I’ve installed Ubuntu 18.04 on my new laptop.

Problem

The /var partition was too small. The system complained that only 200 MB was left.

Solution

Rebooted with my live USB.
Opened GParted.
Moved /tmp partition to the left and grew it to 6 GB.
Grew /var partition to 16 GB
Click

Results

Details [TL;DR]

Here’s the GParted generated log.

Install Julia From Source

Sat, 22 Sep 2018 21:38:43 +0200

Goal

To get Julia installed as a normal user on RHEL 6.

Motivation

“Julia talks like Python but walks like C.”

To do statistics more efficiently.

The compiled binaries often contain install scripts which put files to shared folders under /usr. Consequently, they have to be run as sudo privileges. That drove me to start this lengthy Julia compilation.

Installation

Without sudo privileges, I’ve chosen to compile Julia from source. I was too lazy to get the dependencies fixed. I just compiled it without GFortran and pkg-config under the ~/src folder.

My First RHEL Experience

Thu, 20 Sep 2018 21:47:02 +0200

Introduction

This article records my errors and difficulties encountered on the first day I came across Red Hat Enterprise Linux 7 in my school’s laboratory, as a normal user without sudo privileges.

The login screen was gdm, and the desktop environment was GNOME. IBus was used as the input engine.

Packages installed

The principal goal is to install tools that I usually use on RHEL without sudo permissions. To do so, I’ve downloaded the executable binaries or source code of these packages. As I wanted to focus on my studies, I prefer downloading executable binaries.

Copy File and Preserve Path

Mon, 17 Sep 2018 12:39:09 +0200

Background

While making changes to a theme for a static site generator, I changed files under a Git submodule included in the repo for my blog. (e.g. themes/beautifulhugo) That’s ideal for local testing, but not for version control. As a result, I cloned the repo for the theme to a directory separate from the one for my bloge (say, ~/beautifulhugo), and commit the changes there, then performed a Git submodule update so as to make the workflow clean.

CJK on Ubuntu 18.04

Sun, 09 Sep 2018 00:33:53 +0200

Goal

To enable Chinese and Japanese input on (X)ubuntu 18.04 laptops .

My choices of input method

	old	new
OS	Xubuntu 18.04	Ubuntu 18.04
Desktop Environment	Xfce	GNOME
Input method	Fcitx	IBus

Language	Method
中文	Rime
日本語	Mozc

On my old Fujitsu laptop running Xubuntu, I’ve chosen Fcitx. This turns out to be a difficult choice when I install Rime.

Japanese input

Thanks to ひゃまだ, I’ve managed to switch between difference modes in Mozc.

Ubuntu 18.04 Installation on Fujitsu AH557

Sat, 18 Aug 2018 18:39:42 +0200

Objective

To get a hands-on experience on Ubuntu installation on a UEFI hybrid system.

Devices

120 GB SSD disk: /dev/sda
1 TB HDD disk: /dev/sdb
8 GB USB key: /dev/sdc

Stage 0: precautions

Ensure that your machine has enough power.
Disable Secure Boot in M$ Windows
Disable Quick Boot in boot menu

Stage 1: Make your live USB key

I tried Xubuntu’s built-in disk writing tool to create a live USB key from the official ISO file. Like my Xubuntu 18.04 installation on Fujitsu LH532 , the installer crashed during the installation. After submitting the generated report to Launchpad, I found out that the cause for this crash: the integrity test for my live USB key had failed.

TLP Prevents Login on Ubuntu 18.04

Wed, 15 Aug 2018 11:12:59 +0200

It’s FOSS’s after-installation guide #11 recommends TLP. However, this package stopped my laptop from shutting down and logging in. I resorted to remove it through TTY.

Combine PDF in Linux

Fri, 13 Jul 2018 17:30:54 +0200

pdfunite is fairly easy to use.

pdfunite PDF-sourcefile1..PDF-sourcefilen PDF-destfile

Another way is to use QPDF. I’ve learnt to add --empty from @qpdf/qpdf:#12.

qpdf --empty --pages *.pdf -- out.pdf

Brightness Key on Linux

Mon, 09 Jul 2018 23:21:17 +0200

Problem

One can use xrandr to adjust screen brightness. However, the factor (default to 1.0) is relative to the current brightness. How to enable the brightness adjust keys / on the keyboard under Xubuntu 18.04?

Solution

Toz’s post on Ubuntu Forum works like a charm. The default value for GRUB_CMDLINE_LINUX is an empty string. Changing it to acpi_backlight=vendor and updating the GRUB has solved the problem since the next boot.

Upgraded to Linux Mint 19

Sat, 07 Jul 2018 21:14:02 +0200

Rationale

My Linux Mint 18.3 installed on Clevo N240GU was a long-term support (LTS) version. Although the official page didn’t recommend an upgrade for its own sake, I still performed it as a result of my conversation with a technician in a computer store. He thought that the display problem in the current version would be fixed in this upgraded version.

The old version of Linux Mint couldn’t detect the onboard Intel graphics card. Therefore, sensors reported a higher CPU temperature and the display resolution couldn’t be correctly configured.

Configure UFW for Hugo

Fri, 29 Jun 2018 06:36:21 +0200

Easy Linux tips project recommends users to enable their firewall. However, this blocks all incoming traffic by default. If one wants to test the site on mobile devices, one will need to add a few rules to UFW.

$ sudo ufw allow ssh
$ sudo ufw allow http
$ sudo ufw allow https
$ sudo ufw allow 80/tcp
$ sudo ufw allow 1313/tcp comment "hugo server"

I learnt the last line from 竹内電設.

Xubuntu Dualboot on Fujitsu LH532

Thu, 28 Jun 2018 21:50:45 +0200

You may skip to the acutal setup.

Background

After using Win 7 & 10 for six years on my Fujitsu LH532 , Windows 10 often falls into blue screen. Sometimes, it won’t even start up.

Give Xubuntu a try

Hoping to give a second life to my old , I’ve decided to try this popular lightweight distro.

Initial partition setup

I followed the instructions from Danatela’s question, including the optional setup of separate /var and /tmp partition.