From e0ff71f1967d6d6f1ca9b8bfa386818806d8e0cb Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Fri, 10 May 2024 09:40:43 -0500 Subject: Remove bash profile and bashrc --- bash_profile | 9 --------- 1 file changed, 9 deletions(-) delete mode 100644 bash_profile (limited to 'bash_profile') diff --git a/bash_profile b/bash_profile deleted file mode 100644 index fd8a8a8..0000000 --- a/bash_profile +++ /dev/null @@ -1,9 +0,0 @@ -# Set up the system, user profile, and related variables. -# /etc/profile will be sourced by bash automatically -# Set up the home environment profile. -if [ -f ~/.profile ]; then source ~/.profile; fi - -# Honor per-interactive-shell startup file -if [ -f ~/.bashrc ]; then source ~/.bashrc; fi - -if [[ "$(tty)" == "/dev/tty1" ]]; then exec dbus-run-session hikari; fi -- cgit v1.2.3