Mise à jour du template de lettre

Template de lettre en Xe$\LaTeX$

Contexte J’ai publié mon template de lettre en Xe$\LaTeX$ sur mon ancien blog (hébergé sur GitHub Pages) il y a trois ans. Problème et solution Après le changement de l’ordi portable, il me faut l’installation du pacquetage “texlive-lang-french” sur la nouvelle version d’Ubuntu. Sinon, une erreur du pacquetage Babel se surviendra. ! Package babel Error: Unknown option `frenchb'. Either you misspelled it (babel) or the language definition file frenchb.ldf was not foun d. [Read More]

Staticman's Encryption Mechanism

Verify encrypted content

Background Staticman’s documentation gives a link to the public key for the public Staticman instance. I’ve set up my own Staticman instance for testing Staticman’s native GitLab support. It’s a coincidence that the public Staticman instance has been hitting it’s API limit, as reported in Staticman issue 227. To help others, I’ve published the URL of my own Staticman instance, which is associated with the GitHub/GitLab user staticmanlab. As Node.js’s RSA library has been used in Staticman, I have the responsibility to publish the public RSA key for my Staticman instance. [Read More]

Detect Missing EOF

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

Find Files for Rename

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

Git URL Shortener Exception

A URL lengthened by git.io

Due to limitations on the number of characters imposed by the site owner, URL shorteners are useful for shortening comments containing URL(s). Nonetheless, while commenting on my recent PR for Introduction, I found that GitHub’s URL shortener had lengthened the URL for GitHub’s home page. Output of "https://github.com" by GitHub's URL Shortener A counterexample of GitHub's URL Shortener Compare these two URLs. https://github.com https://git. [Read More]

SCSS to SASS Converter

Background While porting Minimal Mistakes and Beautiful Hugo’s Staticman support to Introduction, I searched for “SCSS to SASS” on DuckDuckGo. The search engine returned results on “CSS to SASS/SCSS” or vice versa. The first theme has Staticman code in SCSS. That would fit into the third theme’s directory structure, which puts SASS files under assets/sass. However, SASS doesn’t have curly braces {}. I feared that after hours of tedious manual replacement, the code would fail to run. [Read More]

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 https://github.com/eduardoboucas/staticman.git (fetch) eduardoboucas https://github.com/eduardoboucas/staticman.git (push) heroku https://git.heroku.com/staticman3.git (fetch) heroku https://git.heroku.com/staticman3.git (push) ... $ git pull eduardoboucas pull/231/head:deploy remote: Enumerating objects: 10, done. remote: Counting objects: 100% (10/10), done. [Read More]

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