Erik Reinertsen     Blog     Research     Tech     Teaching     Talks

Linux setup guide

Install basic utilities

sudo apt-get install vim git curl zsh tmux tree

Shell, dotfiles, zsh theme


chsh -s $(which zsh)
sh -c "$(wget -O-"

Dotfiles and shell scripts

git clone  
cd dotfiles && sh


git clone ${ZSH_CUSTOM:-~/.oh-my-zsh/custom}/plugins/zsh-autosuggestions

Pure theme

mkdir -p "$HOME/.zsh"
git clone "$HOME/.zsh/pure"

The rest of the settings are ready in .zshrc

ZSH syntax highlighting

git clone ${ZSH_CUSTOM:-~/.oh-my-zsh/custom}/plugins/zsh-syntax-highlighting
rm -rf zsh-syntax-highlighting

Tmux plugin manager (tpm)

git clone ~/.tmux/plugins/tpm

Powerline fonts

sudo apt-get install fonts-powerline

Vim plugins


curl -fLo ~/.vim/autoload/plug.vim --create-dirs \

Solarized colors:

git clone
cd vim-colors-solarized/colors
mkdir ~/.vim/colors
mv solarized.vim ~/.vim/colors/
cd && rm -rf vim-colors-solarized

then start vim and call :PlugInstall to install the plugins specified in .vimrc:

vim -c PlugInstall

Then fix Black:

cd ~/.vim
black/bin/pip install --upgrade pip
black/bin/pip install --upgrade git+

Miniconda and environments

Download and install

sh Miniconda3
source ~/miniconda3/bin/activate

No need to run conda init zsh because my .zshrc sets paths.

Create environment:

conda env create -f ~/dotfiles/environment.yml

For a multi-user installation

sudo groupadd aguirrelab
sudo chgrp -R aguirrelab /home/aguirrelab/miniconda3
sudo chmod 777 -R /home/aguirrelab/miniconda3

Add users to this group:

sudo adduser username aguirrelab

Users should set up Miniconda on an Aguirre Lab machine by following these instructions.


Install some stuff

sudo apt install openssh-server
sudo systemctl status ssh
sudo ufw allow ssh
sudo systemctl enable ssh

From your local machine, add your public key to the remote machine’s authorized keys:

cat ~/.ssh/ | ssh b@B 'cat >> ~/.ssh/authorized_keys'


sudo apt install gnupg
gpg --full-generate-key
gpg --list-secret-keys --keyid-format LONG
gpg --armor --export KEY_ID_HERE

For local use

Set up Solarized Dark for the terminal

git clone  
cd gnome-terminal-colors-solarized  
cd && rm -rf gnome-terminal-colors-solarized

Install JetBrains Mono font

Install Dropbox

Waiting for the app to ask for the link code never works. Instead, log in at

For mithril:

Edit grub

sudo vim /etc/default/grub
--verbose debug nomodeset

Create mount points for HDDs, and mount on startup:

sudo \mkdir /media/8tb  
sudo \mkdir /media/2tb  
sudo -E vim /etc/fstab  
/dev/sda1 /media/8tb ext4 defaults 0 0
/dev/sdb1 /media/2tb ext4 defaults 0 0

Set up CIFS and SMB mount to external servers

sudo apt-get install cifs-utils  
sudo \mkdir /media/mad3  

Mount scripts are at ~/dotfiles/