# ~/.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
# source host-specific profile
if [ -f "$HOME/.config/profiles/$(hostname)" ]; then
export EDITOR="emacsclient -nw"
export VISUAL="emcl"
+export GPG_TTY=$(tty)
-# PATH="$HOME/.cabal/bin:$HOME/.cargo/bin:$HOME/.elan/bin:$PATH"
+PATH="$HOME/.cabal/bin:$HOME/.cargo/bin:$HOME/.elan/bin:$PATH"
if [ -z "$IS_GUIX_SYSTEM" ]; then
PATH="$HOME/.config/guix/current/bin${PATH:+:}$PATH"
INFOPATH="$HOME/.config/guix/current/share/info${INFOPATH:+:}$INFOPATH"
export PATH="$GOPATH/bin:$PATH"
fi
+export _JAVA_AWT_WM_NONREPARENTING=1
+export _JAVA_OPTIONS='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true'
+#export MOZ_USE_XINPUT2=1 # precise scrolling in firefox
+
# if running bash
if [ -n "$BASH_VERSION" ]; then
# include .bashrc if it exists