From 15bc23ba85f714797f3496ad6f7460877f974253 Mon Sep 17 00:00:00 2001 From: sommerfeld Date: Fri, 17 Apr 2026 10:53:28 +0100 Subject: chore: delete obsolete shell config files MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Remove files made redundant by the zsh-only rewrite: - home/.profile (POSIX login shell — replaced by .zprofile) - home/.bashrc (bash interactive — no longer needed) - home/.bash_logout (bash logout — no longer needed) - home/.config/sh/envrc (shared env vars — merged into .zprofile) - home/.config/sh/aliases (shared aliases — merged into .zshrc) - home/.config/sh/shinit (POSIX interactive init — merged into .zshrc) The inputrc file is kept for readline-based tools (python REPL, etc.). --- home/.bash_logout | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 home/.bash_logout (limited to 'home/.bash_logout') diff --git a/home/.bash_logout b/home/.bash_logout deleted file mode 100644 index de4f5f7..0000000 --- a/home/.bash_logout +++ /dev/null @@ -1,7 +0,0 @@ -# ~/.bash_logout: executed by bash(1) when login shell exits. - -# when leaving the console clear the screen to increase privacy - -if [ "$SHLVL" = 1 ]; then - [ -x /usr/bin/clear_console ] && /usr/bin/clear_console -q -fi -- cgit v1.2.3-70-g09d2