.profile 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253
  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
  3. # exists.
  4. # see /usr/share/doc/bash/examples/startup-files for examples.
  5. # the files are located in the bash-doc package.
  6. # the default umask is set in /etc/profile; for setting the umask
  7. # for ssh logins, install and configure the libpam-umask package.
  8. #umask 022
  9. # if running bash
  10. if [ -n "$BASH_VERSION" ]; then
  11. # include .bashrc if it exists
  12. if [ -f "$HOME/.bashrc" ]; then
  13. . "$HOME/.bashrc"
  14. fi
  15. fi
  16. # set PATH so it includes user's private bin if it exists
  17. if [ -d "$HOME/bin" ] ; then
  18. PATH="$HOME/bin:$PATH"
  19. fi
  20. # set PATH so it includes user's private bin if it exists
  21. if [ -d "$HOME/.local/bin" ] ; then
  22. PATH="$HOME/.local/bin:$PATH"
  23. fi
  24. ########
  25. # GUIX #
  26. ########
  27. export GUIX_PROFILE="${HOME}/.config/guix/current"
  28. source "${GUIX_PROFILE}/etc/profile"
  29. # ???
  30. # (What is the INFOPATH?)
  31. export INFOPATH="${GUIX_PROFILE}/share/info${INFOPATH:+:}${INFOPATH}"
  32. # make binaries fom the profile available on the PATH
  33. export PATH="${GUIX_PROFILE}/bin:${GUIX_PROFILE}/sbin${PATH:+:}${PATH}"
  34. export PATH="/home/${USER}/.config/guix/current/bin${PATH:+:}${PATH}"
  35. # ???
  36. # (What are those data directories used for?)
  37. export XDG_DATA_DIRS="${GUIX_PROFILE}/share${XDG_DATA_DIRS:+:}${XDG_DATA_DIRS}"
  38. export XDG_DATA_DIRS="/usr/share${XDG_DATA_DIRS:+:}${XDG_DATA_DIRS}"
  39. # set path for locales
  40. export GUIX_LOCPATH="${HOME}/.guix-profile/lib/locale"
  41. # set path for additional profiles for GUIX
  42. export GUIX_EXTRA_PROFILES="${HOME}/.guix-extra-profiles"