diff .bash_profile @ 0:bb5f1ea6cc5e

getting started
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Mon, 18 Jul 2022 18:50:26 +0100
parents
children 12776abdbc2b
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.bash_profile	Mon Jul 18 18:50:26 2022 +0100
@@ -0,0 +1,9 @@
+# .bash_profile
+
+# Get the aliases and functions
+if [ -f ~/.bashrc ]; then
+	. ~/.bashrc
+fi
+
+# User specific environment and startup programs
+