Guest User

bash_profile

a guest
May 10th, 2024
38
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.93 KB | None | 0 0
  1. # .bash_profile
  2.  
  3. # Get the aliases and functions
  4. if [ -f ~/.bashrc ]; then
  5. . ~/.bashrc
  6. fi
  7.  
  8. # User specific environment and startup programs
  9.  
  10. # glibc-locales
  11. export GUIX_LOCPATH="$HOME/.guix-profile/lib/locale"
  12.  
  13. # NSS certs
  14. export SSL_CERT_DIR="$HOME/.guix-profile/etc/ssl/certs"
  15. export SSL_CERT_FILE="$HOME/.guix-profile/etc/ssl/certs/ca-certificates.crt"
  16. export GIT_SSL_CAINFO="$SSL_CERT_FILE"
  17.  
  18. # set profiles properly
  19.  
  20. # set profile for guix package
  21. GUIX_PROFILE="$HOME/.guix-profile"
  22. . "$GUIX_PROFILE/etc/profile"
  23.  
  24. # set profile for guix pull
  25. GUIX_PROFILE="$HOME/.config/guix/current"
  26. . "$GUIX_PROFILE/etc/profile"
  27.  
  28. export PATH="$HOME/.config/guix/current/bin:$PATH"
  29.  
  30. export INFOPATH="$HOME/.guix-profile/share/info${INFOPATH:+:}$INFOPATH"
  31. export INFOPATH="$HOME/.config/guix/current/share/info${INFOPATH:+:}$INFOPATH"
  32.  
  33. # set default editor
  34. export EDITOR="$HOME/.guix-profile/bin/emacs"
  35.  
  36. # startup programs
  37.  
  38.  
  39.  
  40.  
Advertisement
Add Comment
Please, Sign In to add comment