FEniCS install via Docker

I have finally updated my laptop from the arcane Ubuntu 16.04 to 18.04. First thing to configure: fluxbox :heart: of course. Second, xterm and emacs font, size and color. And third, custom FEniCS installation! Very easy this time around, but recording it here for future reference:

# Install curl 
sudo apt install curl

# Download FEniCS project script
curl -s https://get.fenicsproject.org | bash

# fenicsproject script is installed as /foo/.local/bin/fenicsproject
# Add to e.g. .bashrc:
# export PATH=/foo/.local/bin/fenicsproject:$PATH

# Check that you are using the expected version of fenicsproject, by
# examining output of
which fenicsproject

# Ready to go!
fenicsproject run