.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

#PATH="$(ruby -e 'print Gem.user_dir')/bin:$PATH"
#PATH=$HOME/.gem/ruby/2.4.0/bin:$PATH
export PATH=$HOME/.local/bin:$HOME/.cabal/bin:$HOME/.cargo/bin:$HOME/.elan/bin:$PATH
export XDG_CONFIG_HOME=$HOME/.config
export XDG_DATA_HOME=$HOME/.local/share
export XDG_DATA_DIRS=/usr/local/share:/usr/share
export MAILDIR="$HOME/mail"
export CVS_RSH=ssh
#export MATHMODELS=$HOME/src/eiffel/mathmodels
#export RUST_SRC_PATH=~/.multirust/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src
#export PATH=$PATH:$HOME/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/bin/

# Eiffel2Java stuff
#export JAVA_HOME=/usr/lib/jvm/default
#export CPATH=$CPATH:"$JAVA_HOME/include:$JAVA_HOME/include/linux"
#export LIBRARY_PATH=$LIBRARY_PATH:"$JAVA_HOME/jre/lib/amd64/server"
#export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:"$JAVA_HOME/jre/lib/amd64/server"

#export PATH="$HOME/usr/build/pvs:$PATH"
#export SBCLISP_HOME=/usr/share/sbcl-source
#export PVS_LIBRARY_PATH="$HOME/usr/build/pvs/nasalib"

export MOZ_USE_XINPUT2=1  # precise scrolling in firefox

#export JAVA_HOME=/usr/lib/jvm/java-8-openjdk
#export ANDROID_JACK_VM_ARGS="-Dfile.encoding=UTF-8 -XX:+TieredCompilation -Xmx4G"

export NIXPKGS=$HOME/src/git/nixpkgs

if [ -e /home/amin/.nix-profile/etc/profile.d/nix.sh ]; then . /home/amin/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer

export GUIX_LOCPATH="$HOME/.guix-profile/lib/locale"
export PATH="/$HOME/.config/guix/current/bin${PATH:+:}$PATH"
export SSL_CERT_DIR="$HOME/.guix-profile/etc/ssl/certs"
export SSL_CERT_FILE="$HOME/.guix-profile/etc/ssl/certs/ca-certificates.crt"
export GIT_SSL_CAINFO="$SSL_CERT_FILE"