From 6e9ef6328cf834e1c8e60e0d99fa29af4c727915 Mon Sep 17 00:00:00 2001 From: Nguyễn Gia Phong Date: Wed, 29 Aug 2018 11:59:53 +0700 Subject: Update 2018-08-29 --- 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..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 -- cgit 1.4.1