1 # ~/.profile: executed by the command interpreter for login shells.
2 # This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
4 # see /usr/share/doc/bash/examples/startup-files for examples.
5 # the files are located in the bash-doc package.
7 # the default umask is set in /etc/profile; for setting the umask
8 # for ssh logins, install and configure the libpam-umask package.
11 # source host-specific profile
12 if [ -f "$HOME/.config/$(hostname).profile" ]; then
13 .
"$HOME/.config/$(hostname).profile"
16 export EDITOR
="emacsclient -nw"
20 PATH
="$HOME/.cabal/bin:$HOME/.cargo/bin:$HOME/.elan/bin:$PATH"
21 if [ -z "$IS_GUIX_SYSTEM" ]; then
22 PATH
="$HOME/.config/guix/current/bin${PATH:+:}$PATH"
23 INFOPATH
="$HOME/.config/guix/current/share/info${INFOPATH:+:}$INFOPATH"
24 export GUIX_LOCPATH
="$HOME/.guix-profile/lib/locale"
29 export MY_GUIX_MANIFESTS
="$HOME/.config/guix/manifest"
30 export MY_GUIX_PROFILES
="$HOME/.config/guix/profile"
32 export XDG_CONFIG_HOME
="$HOME/.config"
33 export XDG_DATA_HOME
="$HOME/.local/share"
35 if [ -f "$HOME/.config/user-dirs.dirs" ]; then
37 .
"$HOME/.config/user-dirs.dirs"
41 export INPUTRC
="$XDG_CONFIG_HOME"/readline
/inputrc
42 export SCREENRC
="$XDG_CONFIG_HOME"/screen
/screenrc
44 export MAILDIR
="$HOME/mail"
47 if [ -x "$(command -v go)" ]; then
48 export GOPATH
="$HOME/s/go"
49 export PATH
="$GOPATH/bin:$PATH"
52 export _JAVA_AWT_WM_NONREPARENTING
=1
53 export _JAVA_OPTIONS
='-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true'
54 #export MOZ_USE_XINPUT2=1 # precise scrolling in firefox
57 if [ -n "$BASH_VERSION" ]; then
58 # include .bashrc if it exists
59 if [ -f "$HOME/.bashrc" ]; then
64 if [ -z "$IS_GUIX_SYSTEM" ]; then
65 # if guix is installed
66 if [ -x "$(command -v guix)" ]; then
67 SSL_CERT_DIR
="$HOME/.guix-profile/etc/ssl/certs"
68 if [ -d "$SSL_CERT_DIR" -o -h "$SSL_CERT_DIR" ]; then
70 export SSL_CERT_FILE
="$HOME/.guix-profile/etc/ssl/certs/ca-certificates.crt"
72 printf "it seems you forgot to \`guix install nss-certs\'\n"
74 GUIX_PROFILE
="$HOME/.guix-profile"
75 .
"$GUIX_PROFILE/etc/profile"
80 for p
in $MY_GUIX_PROFILES/*; do
81 profile
=$p/$
(basename "$p")
82 if [ -f "$profile"/etc
/profile
]; then
83 GUIX_PROFILE
="$profile"
84 .
"$GUIX_PROFILE"/etc
/profile
89 export PATH
="$HOME/u/local/bin:$HOME/.local/bin:$PATH"
91 # start an ssh-agent (with guix's openssh)
92 if [ -z "$IS_GUIX_SYSTEM" ]; then
93 if ! pgrep
-u "$USER" ssh-agent
> /dev
/null
; then
94 rm -f ~
/.ssh-agent-thing
95 ssh-agent
> ~
/.ssh-agent-thing
97 if [[ ! "$SSH_AUTH_SOCK" ]]; then
98 eval "$(<~/.ssh-agent-thing)"
102 # footenote: when on a foreign distro and using Xfce, don't forget to
103 # disable its auto-start of gpg- and ssh-agent, by issuing
104 # xfconf-query -c xfce4-session -p /startup/ssh-agent/enabled -n -t bool -s false
105 # xfconf-query -c xfce4-session -p /startup/gpg-agent/enabled -n -t bool -s false
106 # see https://docs.xfce.org/xfce/xfce4-session/advanced#ssh_and_gpg_agents
107 # also, MATE does something similar with gnome-keyring-daemon:
108 # http://william.shallum.net/random-notes/disabling-gnome-keyring-daemon-ssh-agent-on-mate-desktop