Merge GitHub Pull Requests

Aim Merge a pull request. How? Let’s take Staticman PR 231 as an example. I would like to test it before commiting this merget to Heroku. $ cd ~/staticman $ git branch -a * deploy dev master ... $ git remote -v eduardoboucas (fetch) eduardoboucas (push) heroku (fetch) heroku (push) ... $ git pull eduardoboucas pull/231/head:deploy remote: Enumerating objects: 10, done. remote: Counting objects: 100% (10/10), done. [Read More]

Enlarged /var Partition

Used GParted to grow /var partition


I’ve installed Ubuntu 18.04 on my new laptop.


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


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

GParted screenshot


GParted result partition table


View GParted generated files.

Install Julia From Source

Custom built Julia from GitHub

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. [Read More]
Linux  Julia 

My First RHEL Experience

Package installation as a normal user

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. [Read More]
Linux  RHEL 

Copy File and Preserve Path

Two bash solutions

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. [Read More]

PDF Form Printing Error

How to avoid wasting paper?

Background Le Temple du Marais“Eglise verte” means “green church”. My churches are going green. Problem → I downloaded a PDF from Haute-Garonne’s government site, filled in the form and saved it on a USB key. Then I printed it at a Konica Minolta bizhub photocopier yesterday. However, only the radio buttons and checkboxes were printed. The blanks were left blank! [Read More]

Flying Grizzly's HTML Form Submission Error

Filling in hidden missing fields

Problem I would like to submit Flying Grizzly’s form. I filled in every blanks and then I clicked the “submit” button below. I was greeted with a MISSING_REQUIRED_FIELDS error within a second. HTML formevery entry filled in Staticman v2 server response500 internal server error { "success":false, "data":["replying_to"], "rawError":{ "_smErrorCode":"MISSING_REQUIRED_FIELDS", "data":["replying_to"] }, "errorCode":"MISSING_REQUIRED_FIELDS" } Discussion The error code suggested that the form fields sent should be inspected. [Read More]
HTML  form 

CJK on Ubuntu 18.04

Support multilingualism on Linux and become plurilingual

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. [Read More]
Linux  CJK 

Zsh and NPM Setup on Ubuntu

Automate settings with Oh My Zsh

Problem After installing NPM throught Ubuntu’s default apt-get manager, I got permission errors. Though sudo can solve the problem, that’s not the right way in principle because NPM is supposed to hold different versions of Node.js packages for testing. It’s insecure to execute npm with sudo priviledges. Solutions Install Zsh to improve efficiency Grab Oh My Zsh to instal NVM as its plugin. sh -c "$(curl -fsSL" Use NVM (NPM Version Manager) to manage NPM. [Read More]
zsh  npm 

Towards Better File Management

Use git-annex like your local library

Le Temple du Marais“Eglise verte” means “green church”. Background: 🈶 ⛪ → 🌿 → 📧 In the recent decade, organizations are replacing courrier with email. The reason is two-folded. 🌿 First, the later is more environmentally-friendly. 📨 Second, the later delivers the content to the recipient quick as a flash. 📧 📎 When one sends an email, one sometimes wants to attach a file to an email. [Read More]