diff options
| author | Paweł Dybiec <pawel@dybiec.info> | 2023-04-16 13:39:31 +0100 |
|---|---|---|
| committer | Paweł Dybiec <pawel@dybiec.info> | 2023-04-16 13:39:31 +0100 |
| commit | 3bddf30a5bc79e4499ec38ce300305cadc851608 (patch) | |
| tree | 6f5c76ec30c14ae88ad213716f45b51d0227f017 /profile | |
| parent | Update editors and git config (diff) | |
update editor configs
Diffstat (limited to 'profile')
| -rw-r--r-- | profile | 5 |
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 |