diff options
Diffstat (limited to 'debian/.profile')
-rw-r--r-- | debian/.profile | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/debian/.profile b/debian/.profile new file mode 100644 index 0000000..caf2bc0 --- /dev/null +++ b/debian/.profile @@ -0,0 +1,27 @@ +# ~/.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 + +PATH="$HOME/.local/bin:$HOME/.local/share/go/bin:$PATH" +export MANPATH="$HOME/.local/share/man:$MANPATH" +export GOPATH="$HOME/.local/share/go" +export XMODIFIERS=@im=ibus +export WEBKIT_DISABLE_COMPOSITING_MODE=1 +export NLTK_DATA="$HOME/Sources/nlp/nltk_data" + +# OPAM configuration +. /home/cnx/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true |