From f61cc0a13a8a691ea152d73d7fc27dd67e2480f1 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 24 Jul 2024 09:53:06 -0500 Subject: config updates --- profile | 1 - 1 file changed, 1 deletion(-) (limited to 'profile') diff --git a/profile b/profile index 730bcbf..dfb7e23 100644 --- a/profile +++ b/profile @@ -32,7 +32,6 @@ export HISTFILE=$HOME/.history export STITCH_DIRECTORY=/home/mccd/notes export STITCH_GREP_CMD=ugrep -if [ -e /home/mccd/.nix-profile/etc/profile.d/nix.sh ]; then . /home/mccd/.nix-profile/etc/profile.d/nix.sh; fi # added by Nix installer # opam configuration test -r /home/mccd/.opam/opam-init/init.sh && . /home/mccd/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true -- cgit v1.2.3