From 57b6a27395f2cf1e9b551eedd3bcebc1d2d5d478 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Mon, 13 Nov 2023 07:55:07 -0300 Subject: etc/sh/rc: Add $HOME/.nix-profile as prefix --- etc/sh/rc | 1 + 1 file changed, 1 insertion(+) diff --git a/etc/sh/rc b/etc/sh/rc index b21cae3..7ca88d7 100644 --- a/etc/sh/rc +++ b/etc/sh/rc @@ -168,6 +168,7 @@ add_prefix() { export PREFIX="$XDG_PREFIX/var/mkg" add_prefix "$PREFIX" add_prefix "$XDG_PREFIX" +add_prefix "$HOME/.nix-profile" for d in "$XDG_PREFIX"/opt/bin-dirs/*; do path_add PATH "$PATH" "$d" -- cgit v1.2.3