view .profile @ 100:a4cd935561d4 dml-dockerised tip

small updates and version pin for cliopatria

# ~/.profile: executed by the command interpreter for login shells.
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
# exists.
# see /usr/share/doc/bash/examples/startup-files for examples.
# the files are located in the bash-doc package.

# the default umask is set in /etc/profile; for setting the umask
# for ssh logins, install and configure the libpam-umask package.
#umask 022

# if running bash
if [ -n "$BASH_VERSION" ]; then
    # include .bashrc if it exists
    if [ -f "$HOME/.bashrc" ]; then
	. "$HOME/.bashrc"
    fi
fi

export EDITOR=vi
export LANG='en_GB.UTF-8'

HUMDRUM_ROOT=~/src/github/humdrum-tools
export MATLAB_JAVA=/usr/lib/jvm/default-java/jre
export PATH=$PATH:$HUMDRUM_ROOT/humdrum/bin:$HUMDRUM_ROOT/humextra/bin
export MANPATH=$MANPATH:~/lib/humdrum/man
export HUMDRUM=$HUMDRUM_ROOT/humdrum
#TMPDIR=/tmp

# set PATH so it includes user's private bin if it exists
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi

if [ -d "$HOME/.profile.d" ]; then
	for f in $HOME/.profile.d/*.sh; do source $f; done
fi