date_range Sept. 04, 2020 - Friday

The solution is simple:

To fix the Docker permission denied error and use Docker as non-root user, create a group called “docker” with the following command:

$ sudo groupadd docker

Next, add your user to the docker group:

$ sudo usermod -aG docker $USER

After adding the user to the docker group, log out and log back in to take effect the changes.

date_range Sept. 01, 2020 - Tuesday

As for the need for logging from Python program, here is a memo for the use of the Python built-in module logging

date_range Aug. 20, 2020 - Thursday

In this article i am showing how to clear Git history by removing all commits. You may need this if you want to delete sensitive data from the history of Git commits. After such cleanup you will have the latest version of your Git repository, but with the one commit only. Be aware that after resetting all the history of changes in your Git repository will be deleted as well.

date_range July 06, 2020 - Monday

PPT can normally export as PDF with very high resolution (the vectorized file). However, I encounter a weird problem today that cannot export a high resolution PDF. After “debugging” and “doing experiments”, I’ve finally found the problem. It’s because of the 3D format settings.

date_range April 28, 2020 - Tuesday

Just got a new working laptop with Windows 10. Here make a checklist of essential tools and software to be installed and configured on it.

date_range April 27, 2020 - Monday

remote git repo is actually no difference from a local one. Here’s how to setup a LOCAL git server.

date_range Mar. 06, 2020 - Friday