.profile


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

# ~/.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
    . "$HOME/.config/profiles/$(hostname)"
fi

export EDITOR="emacsclient -nw"
export VISUAL="emcl"
export GPG_TTY=$(tty)

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 GUIX_LOCPATH="$HOME/.guix-profile/lib/locale"
fi
export PATH
export INFOPATH

export MY_GUIX_MANIFESTS="$HOME/.config/guix/manifest"
export MY_GUIX_PROFILES="$HOME/.config/guix/profile"

export XDG_CONFIG_HOME="$HOME/.config"
export XDG_DATA_HOME="$HOME/.local/share"

if [ -f "$HOME/.config/user-dirs.dirs" ]; then
    set -a
    . "$HOME/.config/user-dirs.dirs"
    set +a
fi

export INPUTRC="$XDG_CONFIG_HOME"/readline/inputrc
export SCREENRC="$XDG_CONFIG_HOME"/screen/screenrc

export MAILDIR="$HOME/mail"
export CVS_RSH="ssh"

if [ -x "$(command -v go)" ]; then
    export GOPATH="$HOME/s/go"
    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
    if [ -f "$HOME/.bashrc" ]; then
	. "$HOME/.bashrc"
    fi
fi

if [ -z "$IS_GUIX_SYSTEM" ]; then
    # if guix is installed
    if [ -x "$(command -v guix)" ]; then
        SSL_CERT_DIR="$HOME/.guix-profile/etc/ssl/certs"
        if [ -d "$SSL_CERT_DIR" -o -h "$SSL_CERT_DIR" ]; then
            export SSL_CERT_DIR
            export SSL_CERT_FILE="$HOME/.guix-profile/etc/ssl/certs/ca-certificates.crt"
        else
            printf "it seems you forgot to \`guix install nss-certs\'\n"
        fi
        GUIX_PROFILE="$HOME/.guix-profile"
        . "$GUIX_PROFILE/etc/profile"
        unset XDG_DATA_DIRS
    fi
fi

for p in $MY_GUIX_PROFILES/*; do
    profile=$p/$(basename "$p")
    if [ -f "$profile"/etc/profile ]; then
        GUIX_PROFILE="$profile"
        . "$GUIX_PROFILE"/etc/profile
    fi
    unset profile
done

export PATH="$HOME/u/local/bin:$HOME/.local/bin:$PATH"

# start an ssh-agent (with guix's openssh)
if [ -z "$IS_GUIX_SYSTEM" ]; then
    if ! pgrep -u "$USER" ssh-agent > /dev/null; then
        rm -f ~/.ssh-agent-thing
        ssh-agent > ~/.ssh-agent-thing
    fi
    if [[ ! "$SSH_AUTH_SOCK" ]]; then
        eval "$(<~/.ssh-agent-thing)"
    fi
fi

# footenote: when on a foreign distro and using Xfce, don't forget to
# disable its auto-start of gpg- and ssh-agent, by issuing
#     xfconf-query -c xfce4-session -p /startup/ssh-agent/enabled -n -t bool -s false
#     xfconf-query -c xfce4-session -p /startup/gpg-agent/enabled -n -t bool -s false
# see https://docs.xfce.org/xfce/xfce4-session/advanced#ssh_and_gpg_agents
# also, MATE does something similar with gnome-keyring-daemon:
# http://william.shallum.net/random-notes/disabling-gnome-keyring-daemon-ssh-agent-on-mate-desktop