sudo add-apt-repository ppa:gnome-terminator
sudo apt-get update
sudo apt-get install terminator
Terminator 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 |