From 3bddf30a5bc79e4499ec38ce300305cadc851608 Mon Sep 17 00:00:00 2001 From: Paweł Dybiec Date: Sun, 16 Apr 2023 13:39:31 +0100 Subject: update editor configs --- profile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'profile') diff --git a/profile b/profile index 7dd7b83..6faa506 100644 --- a/profile +++ b/profile @@ -7,7 +7,6 @@ if [ -n "$BASH_VERSION" ]; then fi export PATH=$HOME/.local/bin:$PATH -source "$HOME/.cargo/env" source "$HOME/.ghcup/env" export PATH=$HOME/.cabal/bin/:$HOME/go/bin:$PATH # opam configuration @@ -16,3 +15,7 @@ export PATH=$HOME/.cabal/bin/:$HOME/go/bin:$PATH #eval "$(stack --bash-completion-script stack)" +. "$HOME/.cargo/env" + +# opam configuration +test -r /home/dyniec/.opam/opam-init/init.sh && . /home/dyniec/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true -- cgit 1.4.1