Usual bashrc and profile updates

Signed-off-by: Andrei Jiroh Halili <ajhalili2006@andreijiroh.eu.org>
This commit is contained in:
Andrei Jiroh Halili 2023-09-04 23:19:38 +08:00
parent a41e28d091
commit 8c1ebd6de8
No known key found for this signature in database
GPG key ID: 67BFC91B3DA12BE8
5 changed files with 23 additions and 5 deletions

View file

@ -0,0 +1,10 @@
#!/usr/bin/env bash
for file in "${HOME}"/.config/bash/tools/*.bashrc; do
if [ "$file" == "${HOME}/.config/bash/tools/automated-deploy.bashrc" ]; then
echo "avoiding source loop, skipping $file"
else
[ $DEBUG != "" ] && echo "sourcing $file"
source "$file"
fi
done

View file

@ -0,0 +1,5 @@
#!/usr/bin/env bash
if [[ -d "$HOME/.nix-profile/etc/profile.d/nix.sh" ]] && [[ $FF_DISABLE_NIXPKGS != "true" ]]; then
source "${HOME}/.nix-profile/etc/profile.d/nix.sh"
fi