Recently I needed to repeat a series of long~ish commands in the command line but…
Read MoreMonth: December 2018
Docker for development: make local files visible to a container with volume mapping
command lineI wrote a very simple right-to-the-point Docker introduction post if you’re new to Docker. If…
Read MoreProfiling: check how long it takes to run a Python script
command line how-to python quick-tipFrom Python’s official documentation: “A profile is a set of statistics that describes how often and for…
Read More