From c163f0750cc4ffee8bd0b1f24aa37fe9aab7d6ea Mon Sep 17 00:00:00 2001 From: Fredrik Ekre Date: Thu, 12 Dec 2019 15:02:01 +0100 Subject: [PATCH] Add common parts of .bashrc. --- .bashrc.dotfiles.git | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 .bashrc.dotfiles.git diff --git a/.bashrc.dotfiles.git b/.bashrc.dotfiles.git new file mode 100644 index 0000000..8922aea --- /dev/null +++ b/.bashrc.dotfiles.git @@ -0,0 +1,12 @@ +# Common commands for .bashrc. Include by adding the following to .bashrc: +# +# if [ -f ~/.bashrc.dotfiles.git ]; then +# . ~/.bashrc.dotfiles.git +# fi + +# Common bash prompt +export PS1="[\[\e[32m\e[1m\]\u@\h\[\e[0m\]:\[\e[34m\e[1m\]\w\[\e[0m\]]\$ " + +# Julia environment variables +export JULIA_PKG_DEVDIR=$HOME/dev +export JULIA_PROJECT=@.