sudo add-apt-repository ppa:gnome-terminator
sudo apt-get update
sudo apt-get install terminatorTerminator should be setup as default now. Restart your terminal (shortcut: "Ctrl+Alt+T").
| # If you come from bash you might have to change your $PATH. | |
| # export PATH=$HOME/bin:/usr/local/bin:$PATH | |
| # Path to your zsh installation. | |
| export ZSH=/usr/bin/zsh | |
| # Set name of the theme to load. Optionally, if you set this to "random" | |
| # it'll load a random theme each time that oh-my-zsh is loaded. | |
| # See https://github.com/robbyrussell/oh-my-zsh/wiki/Themes | |
| ZSH_THEME="random" |
| EXE = | |
| LIB = .a | |
| OBJ = .o | |
| MAKE = make | |
| AR = ar | |
| ARFLAGS = -ruv | |
| CAT = cat | |
| CCS = icc | |
| CCP = mpiicc |
| FROM quay.io/fenicsproject/stable:latest | |
| USER root | |
| RUN apt-get -qq update && \ | |
| apt-get -y upgrade && \ | |
| apt-get -y install python-scipy && \ | |
| apt-get clean && \ | |
| rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* | |
| USER root |