dotfiles/bashrc

source $HOME/.profile
if [[ $- != *i* ]] ; then
	# Shell is non-interactive.  Be done now!
	return
fi
Fixing profile sourcing 2022-12-14 16:14:39 +02:00			`source $HOME/.profile`
Initial version control 2020-06-28 05:19:59 +03:00			`if [[ $- != i ]] ; then`
Housecleaning 2020-11-24 15:17:50 +02:00			`# Shell is non-interactive. Be done now!`
Initial version control 2020-06-28 05:19:59 +03:00			`return`
			`fi`