Blog
Github Action and Cirrus CI
Run Github actions after successful Cirrus CI runs with the check_suite trigger.
March 18, 2024
Purge Git database entirely
Erase all history in the Git repo to start over with all the current files. This also clears big file records in the Git database.
March 18, 2024
Git: Changed File Names With Certain Extension
For example, how to find changed PHP files between latest and the commit before it: 1 git diff --name-only HEAD~1 HEAD '**/*.php'
March 17, 2024
Copy files in Linux
How to copy files with Linux command-line tools.
Install fonts in Linux
Copy the fonts files to ~/.local/share/fonts/. Then, run fc-cache to rebuild fonts cache. fc-cache -fv