3 Commits

Author	SHA1	Message	Date
Daniel -	5ad5e32b9f	Do not distinguish between login and non-login bash ... I.e., move all bash related configuration to bashrc, and call it from bash_profile. This should make things easier, I hope.	2020-07-25 12:16:23 +02:00
Daniel -	e6886b6fc4	Cleaning up bash startup files	2018-07-15 10:24:42 +02:00
Daniel -	f7f9c1b48b	Some fundamental configuration files	2018-07-15 09:47:03 +02:00