Guest User

guixrc

a guest
Sep 11th, 2019
117
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. export GUIX_SUBSTITUTE_URLS="https://ci.guix.info https//:berlin.guixsd.org https//:mirror.hydra.gnu.org"
  2. export DOT_GUIX_PROFILE="$HOME/.guix-profile";
  3. export GUIX_SHARE="$DOT_GUIX_PROFILE/share";
  4. export GUIX_PROFILE="$DOT_GUIX_PROFILE/etc/profile";
  5. export GUIX_LIB="$DOT_GUIX_PROFILE/lib";
  6. export PATH="$HOME/.config/guix/current/bin${PATH:+:}$PATH";
  7. export PATH="$DOT_GUIX_PROFILE/bin${PATH:+:}$PATH";
  8. export PATH="$DOT_GUIX_PROFILE/sbin${PATH:+:}$PATH";
  9. export GUIX_LOCPATH="$DOT_GUIX_PROFILE/lib/locale";
  10. export INFOPATH="$GUIX_SHARE/info${INFOPATH:+:}$INFOPATH";
  11. export GUILE_LOAD_PATH="$GUIX_SHARE/guile/site/2.2${GUILE_LOAD_PATH:+:}$GUILE_LOAD_PATH"
  12. export GUILE_LOAD_COMPILED_PATH="$DOT_GUIX_PROFILE/lib/guile/2.2/site-ccache:$GUIX_SHARE/guile/site/2.2${GUILE_LOAD_COMPILED_PATH:+:}$GUILE_LOAD_COMPILED_PATH"
  13. export COQPATH="$DOT_GUIX_PROFILE/lib/coq/user-contrib${COQPATH:+:}$COQPATH"
  14.  
  15. # Kicad Settings
  16. export KISYSMOD="$GUIX_SHARE/kicad/modules${KISYSMOD:+:}$KISYSMOD"
  17. export KISYS3DMOD="$GUIX_SHARE/kicad/modules/packages3d${KISYS3DMOD:+:}$KISYS3DMOD"
  18. export KICAD_SYMBOL_DIR="$GUIX_SHARE/kicad/library"
  19. export KICAD_TEMPLATE_DIR="$GUIX_SHARE/kicad/template"
  20.  
  21. # source $GUIX_PROFILE
  22.  
  23. for env in $GUIX_PROFILE #$GUIX_LOCPATH $INFOPATH
  24. do
  25.     source $env;
  26.     echo "sourced $env"
  27. done
RAW Paste Data