From ee6f7d198fe40c37ddf480a609dcc8b098c23079 Mon Sep 17 00:00:00 2001
From: Simon May <simon.may@mpa-garching.mpg.de>
Date: Sun, 19 Apr 2020 23:41:38 +0200
Subject: [PATCH] Disable powerline because it gets stuck after disconnecting
 from SSH

---
 .bashrc     | 10 +++++-----
 .profile    | 12 ++++++++----
 .ssh/config |  2 +-
 3 files changed, 14 insertions(+), 10 deletions(-)

diff --git a/.bashrc b/.bashrc
index 52a74c7..70dcafa 100644
--- a/.bashrc
+++ b/.bashrc
@@ -20,8 +20,8 @@ if [ -f ~/.alias ]; then
 	. ~/.alias
 fi
 
-# powerline (prompt)
-powerline-daemon -q
-POWERLINE_BASH_CONTINUATION=1
-POWERLINE_BASH_SELECT=1
-. .local/lib/python3.6/site-packages/powerline/bindings/bash/powerline.sh
+## powerline (prompt)
+#powerline-daemon -q
+#POWERLINE_BASH_CONTINUATION=1
+#POWERLINE_BASH_SELECT=1
+#. .local/lib/python3.6/site-packages/powerline/bindings/bash/powerline.sh
diff --git a/.profile b/.profile
index ec6cd65..3307fe2 100644
--- a/.profile
+++ b/.profile
@@ -4,13 +4,15 @@ umask 077
 # set PATH
 # remove .
 PATH="$(echo "$PATH" | sed -E 's/:\.(:|$)/\1/')"
-# add ~.local/bin
+# add ~/.local/bin
 PATH="$PATH:$HOME/.local/bin"
 # includes user’s private bin if it exists
 if [ -d "$HOME/bin" ]; then
     PATH="$PATH:$HOME/bin"
 fi
 
+echo $PATH > ~/bla.txt
+
 # set default locale
 . "$HOME/.locale"
 
@@ -21,15 +23,17 @@ LESS="$LESS -i -M -R -x4"
 export LESS
 
 # set EDITOR
-export EDITOR=nano
+EDITOR=nano
+export EDITOR
 # use less instead of more for man
-export PAGER=less
+PAGER=less
+export PAGER
 
 # setup modules
 module load anaconda2
 module load anaconda3
 module load mathematica
-# installed libraries (at least FFTW) are compiled with OpenMPI
+# installed libraries (at least FFTW) are compiled with Open MPI
 module load openmpi
 
 # if running bash
diff --git a/.ssh/config b/.ssh/config
index d62cc76..c8a654a 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -1,2 +1,2 @@
 ControlMaster auto
-ControlPath ~/.ssh/control:%h:%p:%r
+ControlPath /scratch/smay/.ssh/control:%h:%p:%r
-- 
GitLab