From ffa5408e106eb0649a3e048673078684980b332b Mon Sep 17 00:00:00 2001 From: "C. McEnroe" Date: Wed, 23 Dec 2020 17:32:53 -0500 Subject: Remove bash_profile, bashrc --- home/.bash_profile | 2 -- home/.bashrc | 13 ------------- 2 files changed, 15 deletions(-) delete mode 100644 home/.bash_profile delete mode 100644 home/.bashrc (limited to 'home') diff --git a/home/.bash_profile b/home/.bash_profile deleted file mode 100644 index 8dd976b3..00000000 --- a/home/.bash_profile +++ /dev/null @@ -1,2 +0,0 @@ -. ~/.profile -. ~/.bashrc diff --git a/home/.bashrc b/home/.bashrc deleted file mode 100644 index 61c9d191..00000000 --- a/home/.bashrc +++ /dev/null @@ -1,13 +0,0 @@ -. ~/.shrc - -alias ls='ls -p --color=auto' -alias grep='grep --color=auto' - -_PS0=${PS0/$'\n'/} -unset PS0 -RPS1=${RPS1/'\?'/'${?/#0/}'} - -rprompt() { - printf '%*s\r' $((COLUMNS - 1)) "${RPS1@P}" -} -PS1='\n\[${_PS0@P}$(rprompt)\]'"${PS1}" -- cgit 1.4.1