From 0dcad36eb0894da04eb37fedaf977e76627c76ef Mon Sep 17 00:00:00 2001 From: lickthecheese Date: Fri, 16 Aug 2019 07:26:10 -0400 Subject: [PATCH] .profile --- .bash_profile | 5 +++++ .profile | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) create mode 100644 .bash_profile mode change 100644 => 100755 .profile diff --git a/.bash_profile b/.bash_profile new file mode 100644 index 0000000..acf5c57 --- /dev/null +++ b/.bash_profile @@ -0,0 +1,5 @@ +# +# ~/.bash_profile +# + +~/.profile diff --git a/.profile b/.profile old mode 100644 new mode 100755 index 064860c..1eb64dd --- a/.profile +++ b/.profile @@ -1,5 +1,5 @@ #!/bin/bash -[ -f ~/.bashrc ] && .bashrc +[ -f ~/.bashrc ] && source "$HOME/.bashrc" -[ "$(tty)" = "/dev/tty1" ] ^^ ! pgrep -x i3 > /dev/null && exec i3 +[ "$(tty)" = "/dev/tty1" ] && ! pgrep -x i3 > /dev/null && exec i3