diff options
| -rw-r--r-- | .bash_profile | 9 | ||||
| -rw-r--r-- | .bashrc | 6 |
2 files changed, 0 insertions, 15 deletions
diff --git a/.bash_profile b/.bash_profile deleted file mode 100644 index de1c697..0000000 --- a/.bash_profile +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -# This only is read by bash when it is a login shell, not an interactive -# one (lightdm, for example). -# So '.profile' has to be sourced (as well as .bashrc). -# See: https://unix.stackexchange.com/questions/88106/why-doesnt-my-bash-profile-work - -[ -f $HOME/.profile ] && . $HOME/.profile -[ -f $HOME/.bashrc ] && . $HOME/.bashrc diff --git a/.bashrc b/.bashrc deleted file mode 100644 index 9a71f00..0000000 --- a/.bashrc +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -# If not running interactively, don't do anything -[ $- != *i* ] && return - -PS1="[\u@\h \w]\$ " |