Posted on March 25, 2023
(Last modified on April 13, 2023)
| 2 minutes
|
|
0 comment
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.
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.
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$Livenot 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
Posted on April 21, 2019
| 1 minutes
|
|
0 comment
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.
Posted on December 23, 2018
(Last modified on December 24, 2018)
| 1 minutes
|
|
0 comment
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;elseecho$file;fidone
Posted on December 23, 2018
(Last modified on April 25, 2019)
| 1 minutes
|
|
0 comment
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.
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
withoutGFortran and pkg-config under the ~/src folder.
Posted on September 20, 2018
(Last modified on September 21, 2018)
| 5 minutes
|
|
0 comment
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.