summaryrefslogtreecommitdiff
path: root/profile
diff options
context:
space:
mode:
authorPaweł Dybiec <pawel@dybiec.info>2023-04-16 13:39:31 +0100
committerPaweł Dybiec <pawel@dybiec.info>2023-04-16 13:39:31 +0100
commit3bddf30a5bc79e4499ec38ce300305cadc851608 (patch)
tree6f5c76ec30c14ae88ad213716f45b51d0227f017 /profile
parentUpdate editors and git config (diff)
update editor configs
Diffstat (limited to 'profile')
-rw-r--r--profile5
1 files changed, 4 insertions, 1 deletions
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