From cd64877d15106e819b56db19fd78f0e85f70222d Mon Sep 17 00:00:00 2001 From: Nguyễn Gia Phong Date: Sun, 7 Jul 2019 12:48:10 +0700 Subject: Update 2019-07-07 --- debian/.profile | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 debian/.profile (limited to 'debian/.profile') diff --git a/debian/.profile b/debian/.profile new file mode 100644 index 0000000..6c8b86e --- /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 + +export GOPATH="$HOME/.local/share/go" +export PATH="$HOME/.local/bin:$GOPATH/bin:$HOME/.cargo/bin:$HOME/.luarocks/bin:$PATH" +export MANPATH="$HOME/.local/share/man:$MANPATH" +export XMODIFIERS=@im=ibus +#export WEBKIT_DISABLE_COMPOSITING_MODE=1 +export NLTK_DATA="$HOME/Sources/nlp/nltk_data" + +# if running bash +if [ -n "$BASH_VERSION" ]; then + # include .bashrc if it exists + if [ -f "$HOME/.bashrc" ]; then + . "$HOME/.bashrc" + fi +fi + +# OPAM configuration +. /home/cnx/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true -- cgit 1.4.1