From 08fa07618b1d1d40773d1969f31d6d63713f534b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=93scar=20N=C3=A1jera?= Date: Sat, 7 May 2022 23:05:05 +0200 Subject: move variables from bashrc to profile --- home-dots/dot-profile | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'home-dots/dot-profile') diff --git a/home-dots/dot-profile b/home-dots/dot-profile index c2f3182..f156b80 100644 --- a/home-dots/dot-profile +++ b/home-dots/dot-profile @@ -1 +1,8 @@ -. "$HOME/.cargo/env" +#!/bin/sh +export PATH="$HOME/.local/bin:$HOME/dev/dotfiles/bin:$PATH" +[ -f "$HOME/.ghcup/env" ] && source "$HOME/.ghcup/env" # ghcup-env +source "$HOME/.cargo/env" +# GUIX_PROFILE="$HOME/.guix-profile" && [ -e "$GUIX_PROFILE" ] && . "$GUIX_PROFILE/etc/profile" && export GUIX_LOCPATH=$GUIX_PROFILE/lib/locale +# GUIX_PROFILE="$HOME/.config/guix/current" && [ -e "$GUIX_PROFILE" ] && . "$GUIX_PROFILE/etc/profile" +# export SSL_CERT_DIR="$HOME/.guix-profile/etc/ssl/certs" +# export SSL_CERT_FILE="$HOME/.guix-profile/etc/ssl/certs/ca-certificates.crt" -- cgit v1.2.3