From 764e69acabe7b20f5dc3e094c45d812a2a1dbeb7 Mon Sep 17 00:00:00 2001 From: Marek Paśnikowski Date: Thu, 26 Jun 2025 03:18:07 +0200 Subject: remove dead files in suweren/home --- suweren/home/bashrc | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100644 suweren/home/bashrc (limited to 'suweren/home/bashrc') diff --git a/suweren/home/bashrc b/suweren/home/bashrc deleted file mode 100644 index be0d92a..0000000 --- a/suweren/home/bashrc +++ /dev/null @@ -1,34 +0,0 @@ -# Bash initialization for interactive non-login shells and -# for remote shells (info "(bash) Bash Startup Files"). - -# Export 'SHELL' to child processes. Programs such as 'screen' -# honor it and otherwise use /bin/sh. -export SHELL - -if [[ $- != *i* ]] -then - # We are being invoked from a non-interactive shell. If this - # is an SSH session (as in "ssh host command"), source - # /etc/profile so we get PATH and other essential variables. - [[ -n "$SSH_CLIENT" ]] && source /etc/profile - - # Don't do anything else. - return -fi - -# Source the system-wide file. -source /etc/bashrc - -# Adjust the prompt depending on whether we're in 'guix environment'. -if [ -n "$GUIX_ENVIRONMENT" ] -then - PS1='\u@\h \w [env]\$ ' -else - PS1='\u@\h \w\$ ' -fi -alias ls='ls -p --color=auto' -alias ll='ls -l' -alias grep='grep --color=auto' - -GUIX_PROFILE="/var/guix/profiles/per-user/$USER/guix-profile" ; -source "$GUIX_PROFILE/etc/profile" ; -- cgit v1.2.3