The page meant to be a container of useful random snippets.

 

Python

Change default installation folder for PIP packages

Or create a file pip.ini in ~. Reference

Docker

Run as current user (useful if container produces some files, and we’d like to avoid that those files are owned by root)

Remove container right after execution

Spotless

Start docker on login (reference)

 

Linux

Change size of title bar in gnome3. Based on https://unix.stackexchange.com/a/291040

Then alt+f2 and r

 
0 Kudos
Don't
move!