1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253 |
- # ~/.profile: executed by the command interpreter for login shells.
- # This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
- # exists.
- # see /usr/share/doc/bash/examples/startup-files for examples.
- # the files are located in the bash-doc package.
- # the default umask is set in /etc/profile; for setting the umask
- # for ssh logins, install and configure the libpam-umask package.
- #umask 022
- # if running bash
- if [ -n "$BASH_VERSION" ]; then
- # include .bashrc if it exists
- if [ -f "$HOME/.bashrc" ]; then
- . "$HOME/.bashrc"
- fi
- fi
- # set PATH so it includes user's private bin if it exists
- if [ -d "$HOME/bin" ] ; then
- PATH="$HOME/bin:$PATH"
- fi
- # set PATH so it includes user's private bin if it exists
- if [ -d "$HOME/.local/bin" ] ; then
- PATH="$HOME/.local/bin:$PATH"
- fi
- ########
- # GUIX #
- ########
- export GUIX_PROFILE="${HOME}/.config/guix/current"
- source "${GUIX_PROFILE}/etc/profile"
- # ???
- # (What is the INFOPATH?)
- export INFOPATH="${GUIX_PROFILE}/share/info${INFOPATH:+:}${INFOPATH}"
- # make binaries fom the profile available on the PATH
- export PATH="${GUIX_PROFILE}/bin:${GUIX_PROFILE}/sbin${PATH:+:}${PATH}"
- export PATH="/home/${USER}/.config/guix/current/bin${PATH:+:}${PATH}"
- # ???
- # (What are those data directories used for?)
- export XDG_DATA_DIRS="${GUIX_PROFILE}/share${XDG_DATA_DIRS:+:}${XDG_DATA_DIRS}"
- export XDG_DATA_DIRS="/usr/share${XDG_DATA_DIRS:+:}${XDG_DATA_DIRS}"
- # set path for locales
- export GUIX_LOCPATH="${HOME}/.guix-profile/lib/locale"
- # set path for additional profiles for GUIX
- export GUIX_EXTRA_PROFILES="${HOME}/.guix-extra-profiles"
|