Update 2019-07-07

1 files changed, 27 insertions, 0 deletions

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