Commit | Line | Data |
---|---|---|
378dacde AB |
1 | #PATH="$(ruby -e 'print Gem.user_dir')/bin:$PATH" |
2 | PATH=$HOME/.gem/ruby/2.4.0/bin:$PATH | |
855ca243 AB |
3 | export PATH=$HOME/.local/bin:$HOME/.cabal/bin:$HOME/.cargo/bin:$PATH |
4 | export XDG_CONFIG_HOME=$HOME/.config | |
5 | export XDG_DATA_HOME=$HOME/.local/share | |
6 | export XDG_DATA_DIRS=/usr/local/share:/usr/share | |
7 | export MAILDIR="$HOME/mail" | |
8 | export CVS_RSH=ssh | |
9 | export MATHMODELS=$HOME/src/eiffel/mathmodels | |
10 | export RUST_SRC_PATH=~/.multirust/toolchains/stable-x86_64-unknown-linux-gnu/lib/rustlib/src/rust/src | |
378dacde | 11 | |
378dacde AB |
12 | # Eiffel2Java stuff |
13 | export JAVA_HOME=/usr/lib/jvm/default | |
14 | export CPATH=$CPATH:"$JAVA_HOME/include:$JAVA_HOME/include/linux" | |
15 | export LIBRARY_PATH=$LIBRARY_PATH:"$JAVA_HOME/jre/lib/amd64/server" | |
16 | export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:"$JAVA_HOME/jre/lib/amd64/server" | |
17 | ||
161c93e9 AB |
18 | export PATH="$HOME/usr/build/pvs:$PATH" |
19 | export SBCLISP_HOME=/usr/share/sbcl-source | |
20 | export PVS_LIBRARY_PATH="$HOME/usr/build/pvs/nasalib" | |
21 | ||
22 | ||
23 | #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 |