From 7d51487584ca3fa98d40fdb37ef143fe87ec9eca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Mon, 24 Oct 2022 13:04:53 +0200 Subject: Add result to gitignore and read all profiles --- gitignore | 3 +++ private | 2 +- profile | 6 ++++-- 3 files changed, 8 insertions(+), 3 deletions(-) diff --git a/gitignore b/gitignore index 89ba6f7..80eda48 100644 --- a/gitignore +++ b/gitignore @@ -8,6 +8,9 @@ # Ignore backup files in general *~ +# Ignore default meson output in general +result + # C development .gdbinit .cache/ diff --git a/private b/private index 47ecff7..b56b567 160000 --- a/private +++ b/private @@ -1 +1 @@ -Subproject commit 47ecff7a79099d6ad1d2e0bc5c777970e1c693be +Subproject commit b56b56738a1ea5faee474d74a97166ef5619bfc2 diff --git a/profile b/profile index 12e6fce..5fa0d56 100644 --- a/profile +++ b/profile @@ -10,8 +10,10 @@ export CT_LOCAL_TARBALLS_DIR="~/src/ct-ng" export PYTHONPYCACHEPREFIX="$HOME/.cache/pycache" # Nix -[ -f "$HOME/.nix-profile/etc/profile.d/nix.sh" ] && \ - . "$HOME/.nix-profile/etc/profile.d/nix.sh" # added by Nix installer +for profile in "$HOME"/.nix-profile/etc/profile.d/*; do + [ -f "$profile" ] || continue + source "$profile" +done # Rest of the profile run only if login is from linux console -- cgit v1.2.3