Ben Chuanlong Du's Blog

It is never too late to learn.

Tips on Google Colab

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

  1. The default user is the root user, so you can install software as needed.

  2. Google Colab notebook does not support terminal but it can be hacked to run JupyterLab.

  3. You can …

Save Docker Image in Another Location

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

Docker images are saved in /var/lib/docker. You can link the directory to another place to save images elsewhere. Another way is to change the configuration file of Docker. For …

Show Inferred Type in IntelliJ IDEA

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

You can use the shortcut ctrl + shift + p to show inferred type of a variable when the cursor is on the variable in IntelliJ IDEA. You can also configure IntelliJ to …

IntelliJ IDEA Tips

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

Installation in Ubuntu

https://itsfoss.com/install-intellij-ubuntu-linux/

You can use ubuntu-make to install IntelliJ IDEA in Docker.

Install Plugins from Command-line

https://stackoverflow.com/questions/24044513/intellij-idea-install-plugins-from-command-line

General Tips

  1. It is …

Docker on Mac

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

  1. It is suggested that you install the offical docker app on Mac instead of installing docker using MacPorts/Homebrew. Docker installed using MacPorts/Homebrew might have issues to start.

  2. By default …

User in Docker

Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!

User switching in Docker

  1. USER some_user in Dockerfile, some_user has to exists
  2. su in Dockerfile or shell scripts
  3. docker run --user some_user

@pedrolucasoliva i am docker specialist i give you a …