Skip to content

Blog

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'

Read more →

March 17, 2024

DGX spark setup

Setup DGX spark.See also ubuntu postinstall.

Read more →

December 1, 2015

CLI manuals

Alternatives to the man command:

Read more →

Copy files in Linux

How to copy files with Linux command-line tools.

Read more →

Install fonts in Linux

Copy the fonts files to ~/.local/share/fonts/. Then, run fc-cache to rebuild fonts cache. fc-cache -fv

Read more →