+
+export PATH="$HOME/.cargo/bin:$PATH"
+
+# 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"
+
+# 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